Title: Semantics of Specification Languages (Sosl)