(1999). Correct system design: Recent insights and advances. Springer.
Chicago-Zitierstil (17. Ausg.)Correct System Design: Recent Insights and Advances. Berlin [u.a.]: Springer, 1999.
MLA-Zitierstil (9. Ausg.)Correct System Design: Recent Insights and Advances. Springer, 1999.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.