A set-theoretic semantics for CLEAR (1984)

by D T Sannella
Venue:Acta Informatica