Hehner predicative programming(ID:7865/)

View of Algol that sees programming as a series of predicative input and output statements for variables
References:
  • Hehner, ECR "Predicative programming (parts I and II)" pp134-151 view details
          in [ACM] CACM 27(02) (February 1984) view details