Manfred Broy. Spezifikation und Entwurf komplexer, kausal vernetzter Systeme. In Rüdiger Valk, editor, GI - 18. Jahrestagung I, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings. Volume 187 of Informatik-Fachberichte, pages 34-55, Springer, 1988.
Abstract is missing.