The semantics of Clear, a speci language (1980)

by R M Burstall, J A Goguen
Venue:In Advance Course on Abstract Software Speci