Theoretical foundations of programming methodology : lecture notes of an international summer school / directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare ; lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt / M. Broy, Gunther Schmidt, TechnischeUniversitätMünchen, ほか