P. Mosses

• The mathematical semantics of ALGOL 60