Exercises in Denotational Semantics.

Krzysztof R. Apt, J. W. de Bakker

Browse the full MFCS paper archive.