Interprocess Analysis and Optimization in the Equational Language Compiler. - Kevin L. Spier; Boleslaw K. Szymanski (CONPAR, 1990)