Стиль цитування APA (7-ме видання)

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

Чикаго стиль цитування (17-те видання)

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

Стиль цитування MLA (9-ме видання)

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