The Definition of Programming Languages: Cambridge Computer Science Texts - II - MCGETTRICK, Andrew D. (London Cambridge University Press., 1986)