A Formal Description of a Subset of ALGOL. AIM-024

purl.stanford.edu/fd002tn5979