Semantics of CLEAR, a Speci cation Language (1980)

by R M Burstall, J A Goguen
Venue:Proc. Advanced Course on Abstract Software Speci cations, D. Bjorner (ed.), Springer-Verlag Lecture Notes in Computer Science 86