1. Goguen, J.A.-Thatcher, J.W.-Wagner, E.G.-Wright, J.B.: Abstract data types as initial algebras and correctness of data representations, Proceedings Conf. on Comp. Graphics, Pattern Recognition and Data Structure, May, 1975, 89–93
2. Burstall, R.M.-Goguen, J.A.: Putting Theories together to Make Specifications, Proc. Int. Jt. Conf. on Artificial Intelligence, Boston, August 1977
3. Ehrich, H.-D.: Algebraische Spezifikation von Datenstrukturen, Proc. Workshop Graphentheoretische Konzepte in der Informatik, Linz, Juni 1977
4. Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Some Remarks concerning Correct Specification and Implementation of Abstract Data Types, Technical University Berlin, Informatik Research Report No. 77-13, August 1977
5. Ehrig, H.-Kreowski, H.-J.-Weber, H.: Algebraic Specification Schemes for Data Base Systems, Research Report HMI-B 266, Hahn-Meitner-Institut Berlin, Februar 1978