A High Level Machine for Artificial Intelligence. - Giuseppe Attardi; Carlo Montangero; Gianfranco Prini (AISB (ECAI), 1976)

Formal Definition of Semantics of Generated Control Regimes. - Luigia Carlucci Aiello; Mario Aiello; Giuseppe Attardi; P. Cavallari; Gianfranco Prini (MFCS, 1976)

Towards a More Declarative Programming Style. - Luigia Aiello; Giuseppe Attardi; Gianfranco Prini (Formal Description of Programming Concepts, 1977)

Stack Implementation of Shallow Binding in Languages with Mixed Scoping. - Gianfranco Prini (Inf. Process. Lett., 1979)

An Efficient Interpreter for the Lambda-Calculus. - Luigia Carlucci Aiello; Gianfranco Prini (J. Comput. Syst. Sci., 1981)