Naive denotational semantics (1983)

by A Blikle, A Tarlecki
Venue:In Proc. IFIP 9th World Computer Congress: Information Processing 83, NorthHolland