Type Inference for Recursive Definitions. - A. J. Kfoury; Santiago M. Pericás-Geertsen (LICS, 1999)

What Are Polymorphically-Typed Ambients? - Torben Amtoft; A. J. Kfoury; Santiago M. Pericás-Geertsen (ESOP, 2001)

Orderly communication in the Ambient Calculus. - Torben Amtoft; A. J. Kfoury; Santiago M. Pericás-Geertsen (Comput. Lang. Syst. Struct., 2002)

Type Inference for Variant Object Types. - Michele Bugliesi; Santiago M. Pericás-Geertsen (Inf. Comput., 2002)