The semantics of CLEAR, a speci language (1980)

by R Burstall, J Goguen
Venue:In Proceedings of Advanced Course on Abstract Software Speci