The mathematical semantics of Algol 60 | lit.salon