Predicative Methodology. - Eric C. R. Hehner; Lorene E. Gupta; Andrew J. Malton (Acta Informatica, 1986)

Erratum: Predicative Methodology. - Eric C. R. Hehner; Lorene E. Gupta; Andrew J. Malton (Acta Informatica, 1988)