Semantics of Specification Languages

SoSL 1993: Utrecht, The Netherlands