Programming language theory and its implementation applicative and imperative paradigms - Gordon, Michael J. C. 1948- (Prentice Hall International series in computer science., 1988)