Adrienne Bloss Paul Hudak Jonathan Young An Optimising Compiler for a Modern Functional Language. 152-161 1989 32 Comput. J. 2 db/journals/cj/cj32.html#BlossHY89