VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings Bjørner, Dines Heftet / 1990 / Engelsk
Control Flow and Data Flow: Concepts of Distributed Programming International Summer School Broy, Manfred Heftet / 1986 / Engelsk
Logic of Programming and Calculi of Discrete Design International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare Broy, Manfred Heftet / 2012 / Engelsk
Programming and Mathematical Method International Summer School Broy, Manfred Heftet / 2011 / Engelsk
