A hierarchy of primitive recursive sequence functions E. Fachini; A. Maggiolo-Schettini — 1979 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
TTL : a formalism to describe local and global properties of distributed systems A. Masini; A. Maggiolo-Schettini — 1992 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications