Programming Denotational Semantics II Please turn javascript on. also see 1983 Semantics L. Allison, Department of Computer Science, University of Western Australia, Nedlands 6009, Western Australia, The Computer Journal, Vol.28, No.5, pp.480-486, doi:10.1093/comjnl/28.5.480, 1985