[ACM] CACM 27(02) (February 1984)

(1957) Communications of the ACM  

Hehner, ECR (1984) Hehner, ECR "Predicative programming (parts I and II)" pp134-151