M. Cerioli.
Basic concepts.
In Algebraic System Specification and Development: Survey and
Annotated Bibliography. 2nd edition, 1997, number 3 in Monographs of the
Bremen Institute of Safe Systems, chapter 1. Shaker, 1998.
M. Cerioli, T. Mossakowski, and H. Reichel.
From total equational to partial conditional.
In E. Astesiano, H.-J. Kreowski and B. Krieg-Bruckner, editors,
Algebraic Foundation of Information Systems Specification,
chapter 3, pages 31--104, Berlin, 1999. Springer Verlag.
A preliminary version is in DISI-TR-96, 1996.
G. Reggio, M. Cerioli and E. Astesiano
An Algebraic Semantics of UML Supporting its Multiview Approach
In D. Heylen, A. Nijholt and G. Scollo Editors, Proceedings of AMiLP 2000,
number 16 in Twente Workshop on Language Technology, Enschede, 2000.
University of Twente.
D. Ancona, M. Cerioli and E. Zucca
A Formal Framework with Late Binding
In Jean-Pierre Finance, editor, Proceedings of FASE'99,
number 1577 in Lecture Notes in Computer Science, pages 30--44, Berlin, 1999.
Springer Verlag.
M. Cerioli and E. Zucca
Implementation of Derived Programs (Almost) for Free
In Recent Trends in Data Type Specification, in
In F. Parisi Presicce, editor, Recent Trends in Data Type
Specification, number 1376 in Lecture Notes in Computer Science, pages
141--155, Berlin, 1998. Springer Verlag.
M. Cerioli, Anne Haxthausen, Bernd Krieg-Brückner and Till Mossakowski.
Permissive Subsorted Partial Logic in CASL,
In Algebraic
Methodology and Software Technology (AMAST'97), number 1349 in
Lecture Notes in Computer Science, pages 91--107, Berlin, 1997.
Springer Verlag.
M. Cerioli.
A Lazy Approach to Partial Algebras
In G. Reggio, E. Astesiano and A. Tarlecki, editors, Recent
Trends in Data Type Specification, number 906 in Lecture Notes in Computer
Science, pages 188--202, Berlin, 1995. Springer Verlag.
M. Gogolla and M. Cerioli.
What is an Abstract Data Type, after all?
(A Bibliography on the Workshops on Abstract Data Types)
In G. Reggio, E. Astesiano and A. Tarlecki, editors, Recent
Trends in Data Type Specification, number 906 in Lecture Notes in Computer
Science, pages 499--523, Berlin, 1995. Springer Verlag.
M. Cerioli and José Meseguer.
May I Borrow Your Logic?,
In A.M. Borzyszkowski and S. Sokolowski, editors, Proc. of
Mathematical Foundation of Computer Science '93, number 711 in Lecture Notes
in Computer Science, pages 342--351, Berlin, 1993. Springer Verlag.
M. Cerioli and G. Reggio.
Algebraic oriented Institutions,
In T. Rus M. Nivat, C. Rattray and G. Scollo, editors, Algebraic
Methodology and Software Technology (AMAST'93), Workshops in Computing,
pages 103--210. Springer Verlag, 1994.
M. Cerioli and G. Reggio.
Institutions for Very Abstract Specifications,
In Recent Trends in Data Type Specification, number 785 in
Lecture Notes in Computer Science, pages 113--127, Berlin, 1993. Springer
Verlag.
E. Astesiano and M. Cerioli.
Relationships between Logical Frameworks,
In Recent Trends in Data Type Specification, number 655 in
Lecture Notes in Computer Science, pages 126--143, Berlin, 1993. Springer
Verlag.
E. Astesiano and M. Cerioli.
Partial Higher-Order Specifications,
In A. Tarlecki, editor, Proceedings of Mathematical Foundation
of Computer Science '91, number 520 in Lecture Notes in Computer Science,
pages 74--84, Berlin, 1991. Springer Verlag.
E. Astesiano and M. Cerioli.
Non-strict don't care
Algebras and Specifications,
In S. Abramsky and T.S.E. Maibaum, editors, Proceedings of
TAPSOFT'91, number 493 in Lecture Notes in Computer Science, pages 121--142,
Berlin, 1992. Springer Verlag.
M. Cerioli and José Meseguer.
May I Borrow Your Logic?
(Transporting Logical Structures along Maps),
Theoretical Computer Science,173(2):311--347, 1997.