(1997). Formal methods for verification and validation of partial specifications a case study / by Steve Easterbrook and John Callahan. [microform].
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Formal Methods for Verification and Validation of Partial Specifications a Case Study / by Steve Easterbrook and John Callahan. [microform]. 1997.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Formal Methods for Verification and Validation of Partial Specifications a Case Study / by Steve Easterbrook and John Callahan. [microform]. 1997.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.