1. APT, K.R., Ten years of Hoare's logic, a survey, in Proc. 5th Scandinavian Logic Symposium (F.V. Jensen, B.H. Mayoh, K.K. Møller, eds.), pp 1–44, Aalborg University Press, 1979 (revised version to appear in ACM TOPLAS).
2. ASHCROFT, E.A., M. CLINT & C.A.R. HOARE, Remarks on program proving: jumps and functions, Acta Informatica, 6, p. 317, 1976.
3. DE BAKKER, J.W., Least fixed points revisited, Theoretical Computer Science, 2, pp. 155–181, 1976.
4. DE BAKKER, J.W., Mathematical Theory of Program Correctness, Prentice-Hall International, 1980.
5. BARENDREGT, H.P., The Lambda Calculus, its Syntax and Semantics, North-Holland, 1981.