Eric C. R. Hehner Lorene E. Gupta Andrew J. Malton Erratum: Predicative Methodology. 285 1988 26 Acta Inf. 3 db/journals/acta/acta26.html#HehnerGM88