1. E. Astesiano and M. Cerioli. Relationships between logical frames. In Recent Trends in Data Type Specification,number 655 in Lecture Notes in Computer Science, pages 126–143, Berlin, 1993. Springer Verlag.
2. C. Beierle and A. Voss. Viewing implementations as an institution. In D. Pitt, A. Poigné, and D. Rydeheard, editors, Proceedings of Category Theory and Computer Science, number 283 in Lecture Notes in Computer Science, pages 196–218, Berlin, 1987. Springer Verlag.
3. R. Burstall and J. A. Goguen. Putting theories together to make specifications. In Proceedings of the 5th International Joint Conference on Artificial Intelligence, pages 1045–1058, Cambridge, 1977.
4. R. Burstall and J. A. Goguen. The semantics of clear, a specification language. In D. Bjorner, editor, Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, number 86 in Lecture Notes in Computer Science, pages 292–332, Berlin, 1980. Springer Verlag.
5. M. Cerioli. Relationships between Logical Formalisms. PhD thesis, Universities of Pisa, Genova and Udine, 1993.