1. Interlanguage working without tears: Blending SML with Java;Benton;ACM SIGPLAN Notices,1999
2. Compiling Standard ML to Java bytecodes;Benton;ACM SIGPLAN Notices,1999
3. P. Bothner, Kawa: Compiling Scheme to Java, in: LISP Users Conference: LISP in the Mainstream (40th Anniversary of LISP), Berkeley, CA, USA, 1998
4. The CIAO Prolog development system WWW site, http://www.clip.dia.fi.upm.es/Software/Ciao
5. LuCe: a tuple-based coordination infrastructure for Prolog and Java agents;Denti;Autonomous Agents and Multi-Agent Systems,2001