The semantics of Clear, a specification language (1980)

by R Burstall, J Goguen
Venue:In Proc. Copenhagen Winter School on Abstract Software Specification, LNCS 86