Semantics of CLEAR, a specification language (1980)

by R M Burstall, J A Goguen
Venue:Abstract Software Specifications, Proc. 1979 Copenhagen Winter School. Springer- Verlag Lecture Notes in Computer Science 86