Parallelizing functional programs by term rewriting - Geser, Alfons; Gorlač, Sergej (1997)