1. A junction between computer science and category theory: I, Basic definitions and examples, Part 1;Goguen;IEM Research Report RC 4526,1973
2. Initial algebra semantics and continuous algebras;Goguen;J. ACM.,1977
3. A junction between computer science and category theory: I, Basic definitions and examples, Part 2;Goguen;IBM Research Report RC 5908,1976
4. Varieties of ordered algebras;Bloom;J. Comp. Sys. Sci.,1976