Andrea Asperti Vincent Danos Cosimo Laneve Laurent Regnier 426-436 conf/lics/LICS9 1994 conf/lics/1994 LICS db/conf/lics/lics94.html#AspertiDLR94 http://dx.doi.org/10.1109/LICS.1994.316048