An Algol Construction for Procedures as Parameters of Procedures
CACM April, 1970
Knight, K. R.
