APA-Zitierstil (7. Ausg.)

Cavarra, A. (2008). Data Flow Analysis and Testing of Abstract State Machines. Springer.

Chicago-Zitierstil (17. Ausg.)

Cavarra, A. Data Flow Analysis and Testing of Abstract State Machines. Springer, 2008.

MLA-Zitierstil (9. Ausg.)

Cavarra, A. Data Flow Analysis and Testing of Abstract State Machines. Springer, 2008.

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