A Formal Definition of Algol 60 as Described in the 1975 Modified Report

Wolfgang Henhapl, Cliff B. Jones. A Formal Definition of Algol 60 as Described in the 1975 Modified Report. In Dines Bjørner, Cliff B. Jones, editors, The Vienna Development Method: The Meta-Language. Volume 61 of Lecture Notes in Computer Science, pages 305-336, Springer, 1978.

Abstract

Abstract is missing.