Michel Lemaître Michel Castan M.-H. Durand Guy Durrieu Bernard Lécussan Mechanisms for Efficient Multiprocessor Combinator Reduction. 113-121 1986 LISP and Functional Programming db/conf/lfp/lfp1986.html#LemaitreCDDL86