Deriving imperative code from functional programs (1995)

by P Quinton, S Rajopadhye, D Wilde