Solutions of functorial and non-functorial metric domain equations. - Fabio Alessi; Paolo Baldan; Gianna Bellè; Jan J. M. M. Rutten (MFPS, 1995)

A Fixed-Point Theorem in a Category of Compact Metric Spaces. - Fabio Alessi; Paolo Baldan; Gianna Bellè (Theor. Comput. Sci., 1995)

Typed Intermediate Languages for Shape Analysis. - Gianna Bellè; Eugenio Moggi (TLCA, 1997)

Functorial ML. - C. Barry Jay; Gianna Bellè; Eugenio Moggi (J. Funct. Program., 1998)

Monads, shapely functors, and traversals. - Eugenio Moggi; Gianna Bellè; C. Barry Jay (CTCS, 1999)