1. Bauer, F.L.: Variables considered harmful,Tech. Univ. Munich, Report 7513 (1975)
2. Boehm, B.W. et al: Some experience with automated aids to the design of large-scale reliable software, Proceedings Intern. Conf. on Reliable Software, Los Angeles (1975).
3. Dijkstra, E.W.: Notes on structured programming, Eindhoven Technical University, Report EWD 249 (1969).
4. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs, Comm. ACM 18,8 (1975)
5. Endres, A.: An analysis of errors and their causes in system programs, IEEE Transactions on Software Engineering, 1,2 (1975).