Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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