Pier Giorgio Bosco Laura Ferrari Elio Giovannetti Corrado Moiso An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language. 142-148 1992 conf/ifip/1992-1 IFIP Congress (1) db/conf/ifip/ifip92-1.html#BoscoFGM92