Expressional loops (1984)

by Richard C Waters
Venue:In Proc. Eleventh Annual ACM Symposium on Principles of Programming Languages