(1993). Industrial strength formal methods: Proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Industrial Strength Formal Methods: Proceedings. Berlin u.a: Springer, 1993.
MLA-Zitierstil (9. Ausg.)Industrial Strength Formal Methods: Proceedings. Springer, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.