The semantics of Clear, a specication language (1990)

by R Burstall, J A Goguen
Venue:Proceedings of 1979 Copenhagen Winter School on Abstract Software Specication