Applicative communicating processes in first order logic. - Marco Bellia; Enrico Dameri; Pierpaolo Degano; Giorgio Levi; Maurizio Martelli (Symposium on Programming, 1982)

A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. - Marco Bellia; Enrico Dameri; Pierpaolo Degano; Giorgio Levi; Maurizio Martelli (Implementations of Prolog, 1984)

ISDE: An Interactive Software Development Environment. - M. Chesi; Enrico Dameri; M. P. Franceschi; M. G. Gatti; C. Simonelli (Software Development Environments (SDE), 1984)