Cavarra, A. (2008). Data Flow Analysis and Testing of Abstract State Machines. Springer.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Cavarra, A. Data Flow Analysis and Testing of Abstract State Machines. Springer, 2008.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Cavarra, A. Data Flow Analysis and Testing of Abstract State Machines. Springer, 2008.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.