James C. Beatty: Erratum: "An axiomatic approach to code optimization for expressions". J. ACM 20(3): 538 (1973)