Theories of programming languages - Reynolds, John C., 1935- (Cambridge University Press, 1998)