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.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.