A set-theoretic semantics for clear (1984)

by D T Sannella
Venue:Acta Informatica