Petersohn, C. (1997). Data and control flow diagrams, statecharts and Z: Their formalization, integration and real-time extension. Inst. für Informatik und Praktische Mathematik.
Chicago-Zitierstil (17. Ausg.)Petersohn, Carsta. Data and Control Flow Diagrams, Statecharts and Z: Their Formalization, Integration and Real-time Extension. Kiel: Inst. für Informatik und Praktische Mathematik, 1997.
MLA-Zitierstil (9. Ausg.)Petersohn, Carsta. Data and Control Flow Diagrams, Statecharts and Z: Their Formalization, Integration and Real-time Extension. Inst. für Informatik und Praktische Mathematik, 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.