Semantics of Specification Languages (SoSL) häftadEngelska, 1994