1. An initial algebra approach to the specification, correctness, and implementation of abstract data types;Goguen,1978
2. Initial algebra semantics and continuous algebras;Goguen;J. ACM,1977
3. Generalization of the concept of variety and quasivariety to partial algebras through category theory;Andreka;Dissertationes Math. (Rozprawy Mat.),1983
4. also: Math. Inst. Hung. Acad. Sci., Preprint No. 5/1976.
5. A general axiomatizability theorem formulated in terms of cone-injective subcategories;Andreka,1981