A Formal Definition of Algol 60 as Described in the 1975 Modified Report.
Wolfgang Henhapl, Cliff B. Jones
VenueBFM
Year1978
ProceedingsThe Vienna Development Method: The Meta-Language
DBLP recordconf/fm/HenhaplJ78 ↗
Browse the full FM paper archive.