Polynomials - The Specification, Analysis and Development of an Abstract Data Type. - Walter Dosch; Martin Wirsing; Giorgio Ausiello; Gianfranco Mascari (GI Jahrestagung, 1980)

On the Algebraic Specification of Databases. - Walter Dosch; Gianfranco Mascari; Martin Wirsing (VLDB, 1982)

Abstract Data Types and Categorical Logic. - W. Di Palma; Gianfranco Mascari (ADT, 1983)

On the Parameterized Algebraic Specification of Concurrent Systems. - Egidio Astesiano; Gianfranco Mascari; Gianna Reggio; Martin Wirsing (TAPSOFT, Vol.1, 1985)

While-Programs with Nondeterministic Assignments and the Logic Alna. - Gianfranco Mascari; Marisa Venturini Zilli (Theor. Comput. Sci., 1985)

On the Integration of Numeric and Algebraic Computations. - Gianfranco Mascari; Alfonso Miola (AAECC, 1986)

A Logic of Recursion - V. Michele Abrusci; Gianfranco Mascari (Inf. Comput., 1989)

Model-Theoretic Specifications and Back-and-Forth Equivalences. - Gianfranco Mascari; Antonio Vincenzi (ADT, 1990)

Autonomous Posets and Quantales. - Gianfranco Mascari; F. Pucci (RAIRO Theor. Informatics Appl., 1993)

Head Linear Reduction and Pure Proof Net Extraction. - Gianfranco Mascari; Marco Pedicini (Theor. Comput. Sci., 1994)

The Department Store Metaphor: Organizing, Presenting and Accessing Cultural Heritage Components in a Complex Framework. - Umberto Maniscalco; Gianfranco Mascari; Giovanni Pilato (WIRN, 2009)