Text this: Semantics of specification languages (SoSL) :