Programming Denotational Semantics II

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