1. APT, K.R. & J.W. DE BAKKER, Exercises in denotational semantics, in: Proc. 5th Symposium on Mathematical Foundations of Computer Science (A. Mazurkiewicz, ed.), pp. 1–11, Lecture Notes in Computer Science 45, Springer (1976).
2. BAKKER, J.W. DE, Least fixed points revisited, Theoretical Computer Science, 2, pp. 155–181 (1976).
3. BAKKER, J.W. DE, Correctness proofs for assignment statements, Report IW 55/76 Mathematisch Centrum (1976).
4. COOK, S.A., Axiomatic and interpretive semantics for an ALGOL fragment, Technical Report no. 79, University of Toronto (1975).
5. DONAHUE, J.E., Complementary definitions of programming language semantics, Lecture Notes in Computer Science 42, Springer (1976).