APA-viite (7. p.)

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

Chicago-viite (17. p.)

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

MLA-viite (9. p.)

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

Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.