Roscoe, P., & Pragyesh. (2009). Local search in model checking.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Roscoe, P., و Pragyesh. Local Search in Model Checking. 2009.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Roscoe, P., و Pragyesh. Local Search in Model Checking. 2009.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.