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

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

Languages mentioned Hehner predicative programming {0}