Note on algol and conservatively extending functional programming (1995)

by P W O'Hearn
Venue:Journal of Functional Programming