Philippe Jorrand FP2: Functional Parallel Programming Based on Term Substitution. 95-112 1984 AIMSA db/conf/aimsa/aimsa1984.html#Jorrand84