Semantics of Specification Languages