Semantics of programming languages - Tennent, R. D., 1944- (Prentice-Hall international series in computer science, 1991)