Imperative Functional Programming (1993)

by Simon L. Peyton Jones, Philip Wadler