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