Mariangiola Dezani-Ciancaglini Maddalena Zacchi Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. 170-184 1974 conf/icalp/1974 ICALP db/conf/icalp/icalp74.html#Dezani-CiancagliniZ74 http://dx.doi.org/10.1007/3-540-06841-4_59