A theory of programming language semantics - Milne, Robert, 1948- (Chapman and Hall ; Wiley : distributed in the U.S.A. by Halsted Press, 1976)