Steffen, B., & Olderog, E. Correct system design: Recent insights and advances. Springer.
Chicago-Zitierstil (17. Ausg.)Steffen, Bernhard, und Ernst-Rüdiger Olderog. Correct System Design: Recent Insights and Advances. Berlin [etc.]: Springer.
MLA-Zitierstil (8. Ausg.)Steffen, Bernhard, und Ernst-Rüdiger Olderog. Correct System Design: Recent Insights and Advances. Springer.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.