The semantics of Clear, a specification language (1980)

by R M Burstall, J A Goguen
Venue:Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, Lecture Notes in Computer Science