Lakey, P. B. Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system: An industry report. Software engineering notes..
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Lakey, Peter B. "Model-based Specification and Testing Applied to the Ground-Based Midcourse Defense (GMD) System: An Industry Report." Software Engineering Notes. .
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Lakey, Peter B. "Model-based Specification and Testing Applied to the Ground-Based Midcourse Defense (GMD) System: An Industry Report." Software Engineering Notes., .
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.