A. van Wijngaarden
-
Proposals for a new language
ALGOL Bulletin
Record Handling
Informal introduction to ALGOL 68
Report on the algorithmic language ALGOL 68
Pointers and data abstractions in high level languages-II: Correctness proofs
Computer Languages