by D. J. Andrews
This volume is based on the proceedings of the International Workshop on Semantics of Specification Languages (SoSL), held in Utrecht, the Netherlands, 25-27 October 1993. The aim of the workshop -…