An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. - Egidio Astesiano; Alessandro Giovini; Gianna Reggio; Elena Zucca (Algebraic Methods, 1987)

Data in a Concurrent Environment. - Egidio Astesiano; Alessandro Giovini; Gianna Reggio (ADT, 1988)

Generalized Bisimulation in Relational Specifications. - Egidio Astesiano; Alessandro Giovini; Gianna Reggio (STACS, 1988)

CoCoA: a User-Friendly System for Commutative Algebra. - Alessandro Giovini; Gianfranco Niesi (DISCO, 1990)

Processes as Data Types: Observational Semantics and Logic. - Egidio Astesiano; Alessandro Giovini; Gianna Reggio (Semantics of Systems of Concurrent Processes, 1990)

Algebraic Specification at Work. - Egidio Astesiano; Alessandro Giovini; Franco Morando; Gianna Reggio (AMAST, 1991)

"One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm. - Alessandro Giovini; Teo Mora; Gianfranco Niesi; Lorenzo Robbiano; Carlo Traverso (ISSAC, 1991)

Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems. - Alessandro Giovini; Franco Morando; Antonio Capani (ALP, 1992)

Observational Structures and Their Logics. - Egidio Astesiano; Alessandro Giovini; Gianna Reggio (Theor. Comput. Sci., 1992)