APA način citiranja (7. izdanje)

Roscoe, P., & Pragyesh. (2009). Local search in model checking.

Čikaški stil citiranja (17. izdanje)

Roscoe, P., i Pragyesh. Local Search in Model Checking. 2009.

MLA način citiranja (9. izdanje)

Roscoe, P., i Pragyesh. Local Search in Model Checking. 2009.

Upozorenje: Ovi citati možda nisu uvijek 100% točni.