Lecture Notes in Computer Science, Volume 45. Joseph Goguen. Higher-order functions considered unnecessary for higher-order programming (1976)

by Springer-Verlag