Jain, H., Kroening, D., Sharygina, N., & Clarke, E. (2007). VCEGAR: Verilog CounterExample Guided Abstraction Refinement. Springer.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Jain, H., D. Kroening, N. Sharygina, و E. Clarke. VCEGAR: Verilog CounterExample Guided Abstraction Refinement. Springer, 2007.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Jain, H., et al. VCEGAR: Verilog CounterExample Guided Abstraction Refinement. Springer, 2007.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.