Semantics of Clear. Unpublished notes handed out at (1978)

by Rod Burstall, Joseph Goguen
Venue:the 1978 Symposium on Algebra and Applications, Stefan Banach