Thomas Ball Paths between Imperative and Functional Programming. 21-25 1999 34 SIGPLAN Notices 2 db/journals/sigplan/sigplan34.html#Ball99 http://doi.acm.org/10.1145/307903.307910