Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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