Jean-Pierre Banâtre Parallélisme et programmation fonctionnelle à la Backus. 1982 conf/jfplc/1982 SPLT db/conf/jfplc/jfplc1982.html#Banatre82