The semantics of Clear, a specification language. Prec. of Advanc~::l Course on Abstract Software Specifications (0)

by R M Burstall, J A Goguen
Venue:Dept. of Computer Science, Univ. of Edinburgh