Semantics of Specification Languages (SoSL)