1. Burstall, R.M., Goguen, J.A.: Putting Theories together to Make Specifications. Proc. 5th IJCAI, 1977, pp. 1045–1058.
2. Burstall, R.M., Goguen, J.A.: The semantics of Clear, a specification language. Proc. of Advanced Course on Abstract Software Specifications, Copenhagen. LNCS Vol.86, pp. 292–332.
3. Beierle, C., Olthoff, W., Voß, A.: Towards a formalization of the software development process. Proc. Software Engineering '86, Southampton, UK, 1986.
4. Beierle, C., Voß, A.: Implementation specifications. In: H.-J. Kreowski (ed): Recent Trends in Data Type Specifications, Informatik Fachberichte 116, Springer, 1985.
5. Beierle, C., Voß, A.: Algebraic Specifications and Implementations in an Integrated Software Development and Verification System, Memo SEKI-85-12, FB Informatik, Univ. Kaiserslautern, (joint SEKI-Memo containing the Ph.D. thesis by C. Beierle and the Ph.D. thesis by A. Voß), Dec. 1985.