Krzysztof R. Apt J. W. de Bakker Exercises in Denotational Semantics. 1-11 1976 conf/mfcs/1976 MFCS db/conf/mfcs/mfcs76.html#AptB76 http://dx.doi.org/10.1007/3-540-07854-1_157