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