Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.