Marco Pedicini Francesco Quaglia A parallel implementation for optimal lambda-calculus reduction. 3-14 2000 PPDP http://doi.acm.org/10.1145/351268.351270 db/conf/ppdp/ppdp2000.html#PediciniQ00