Expressional loops (1984)

by Richard C Waters
Venue:In ACM Symposium on the Principles of Programming Languages