1. J. A. Goguen, J. W. Thatcher, E. G. Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. In: R. T. Yeh (ed.): Current Trends in Programming Methodology, Vol. 3, Data Structuring, Englewood Cliffs: Prentice Hall 1978
2. J. W. de Bakker: Semantics and Termination of Nondeterministic Recursive Programs. 3rd Int. Symp. on Automata, Languages and Programming, Edinburgh 1976
3. A. Blikle: Specified Programming. In: Mathematical Studies in Information Processing, Proc. Int. Conf., Kyoto, Aug. 1978
4. M. Broy: Transformation parallel ablaufender Programme. Technische Universität München, Dissertation an der Fakultät für Mathematik, Februar 1980
5. R. M. Burstall, J. Darlington: Some Transformations for Developing Recursive Programs. Proc. of 1975 Int. Conf. on Reliable Software, Los Angeles 1975, 465–472. Also: J. ACM 24, 1, 44–67 (1977)