Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Ultrecht, The Netherlands, 25-27 October 1993 /
International Workshop on Semantics of Specification Languages(1993 :Utrecht, Netherlands)
Andrews, Derek John.
Groote, J. F.(Jan Frisco),1965-
Middelburg, Cornelis A.
London : Springer-Verlag,
c1994.