Eric C. R. Hehner Predicative Programming, Part I. 134-143 1984 27 Commun. ACM 2 db/journals/cacm/cacm27.html#Hehner84