Trích dẫn APA

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

Trích dẫn kiểu Chicago

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

Trích dẫn MLA

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.