Abstract Specification Of Mathematical Structures And Methods. - Carla Limongelli; M. Beatrice Mele; Mauro Regio; Marco Temperini (DISCO, 1990)

Implementation and Manipulation of Formal Objects: An Object-Oriented View. - Mauro Regio; Marco Temperini (SIGSMALL/PC Symposium, 1990)

Government Virtual Service Networks. - Mauro Regio (HICSS, 2002)