Calculational system design / ed. by Manfred Broy and Ralf SteinbrüggenEngineering theories of software intensive systems / ed. by Manfred Broy ... [et al.]Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer ... [et al.] / ed. by M. Broy and Gunther Schmidt ; publ. in cooperation with NATO Scientific affairs division