Parallel evaluation of interaction nets with MPINE - Pinto, Jorge Sousa (2001)