Roscoe, P., & Pragyesh. (2009). Local search in model checking.
Lua i Stíl Chicago (17ú heag.)Roscoe, P., agus Pragyesh. Local Search in Model Checking. 2009.
Lua MLA (9ú heag.)Roscoe, P., agus Pragyesh. Local Search in Model Checking. 2009.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.