Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.