Enrico Dameri

Applicative communicating processes in first order logic

Giorgio Levi, Maurizio Martelli, Pierpaolo Degano, 1982, Symposium on Programming.

A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language

Giorgio Levi, Maurizio Martelli, Pierpaolo Degano, 1984, Implementations of Prolog.

ISDE: An Interactive Software Development Environment

C. Simonelli, Enrico Dameri, M. Chesi, 1984, SDE 1.