Formal Semantics of programming languages - Rustin, Randall (Prentice-Hall, 1972)