de Bakker, J. W. Formal definition of programming languages. With an application to the definition of ALGOL 60. (Mathematical Centre Tracts. 16.). (English) Zbl 0203.49204 Amsterdam: Mathematisch Centrum. X, 207 p. (1967). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents Software:ALGOL 60 PDF BibTeX XML OpenURL