A theory of programming language semantics : indices and appendices fundamental concepts mathematical foundations. Pt. A. - Milne, Robert; Strachey, Christopher (London : Chapman and Hall, Ltd., 1976)