1. Astesiano, E.; Cerioli, M. “On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications”, Proc. TAPSOFT'89, vol.1, Lecture Notes in Computer Science n. 351, 1989.
2. Astesiano, E.; Cerioli, M. “Free Objects and Equational Deduction for Partial Conditional Specifications”, Technical Report n.3, Formal Methods Group, University of Genova, 1990.
3. Astesiano, E.; Cerioli, M. “Commuting between Institutions via Simulation”, submitted, 1990.
4. Burmeister, P. A Model Theoretic Oriented Approach to Partial Algebras, Berlin, Akademie-Verlag, 1986.
5. Broy, M.; Wirsing, M. “Partial abstract types”, Acta Informatica 18, 1982.