APA način citiranja

Perry, D. L. (2005). Applied formal verification. New York: McGraw-Hill.

Čikaški stil citiranja

Perry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.

MLA način citiranja

Perry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.

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