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. “Commuting between Institutions via Simulation” submitted for acceptance, also available as Technical Report n. 2, 1990, Formal Methods Group, University of Genoa (Italy).
3. Astesiano E.; Cerioli M. “Non-strict don't care algebras and specifications”, Technical Report n. 5, 1990, Formal Methods Group, University of Genoa (Italy).
4. Burmeister P. A Model Theoretic Oriented Approach to Partial Algebras, Akademie-Verlag Berlin, 1986.
5. Broy M. Partial Interpretation of Higher-Order Algebraic Types, in Proc. of Mathematical foundations of Computer Science 1986, Lecture Notes in Computer Science n.233.