APA-Zitierstil (7. Ausg.)

(2005). Formal methods for components and objects. Elsevier.

Chicago-Zitierstil (17. Ausg.)

Formal Methods for Components and Objects. Amsterdam u.a: Elsevier, 2005.

MLA-Zitierstil (9. Ausg.)

Formal Methods for Components and Objects. Elsevier, 2005.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.