[ 1 ] K. Čulík: Formal structure of ALGOL and simplification of its description. Symbolic languages in data processing (Roma 1962). Gordon-Breach, New York 1963, 75-82.

[2] R. Péter: Primitiv-rekursive Wortbeziehungen in der Programmierungssprache „ALGOL 60". Magyar Tud. Akad. Mat. Kutató Int. Közl. 6 (1961), 137-144. MR 0152157

[3] R. Péter: Über die Rekursivität der Begriffe der mathematischen Grammatiken. To appear in Publications of the Math. Inst. of the Hungarian Acad. of Sciences. MR 0167405

[4] J. W. Backus, al.: Revised Report on the algorithmic language ALGOL 60. Numerische Mathematik 4 (1963), 420-453. MR 0154442 | Zbl 0109.35105

[5] J. Kopřiva: Some notes on the formal structure of ALGOL 60. To appear in Publications of the University in Brno. MR 0197229