Trích dẫn APA

Perry, D. L., Porter, H. D., & Porter, H. D. Applied pormal verification / Doulas L. Perry. The McGraw-Hill.

Trích dẫn kiểu Chicago

Perry, Doulas L., Harry D. Porter, và Harry D.  Porter. Applied Pormal Verification / Doulas L. Perry. The McGraw-Hill.

Trích dẫn MLA

Perry, Doulas L., Harry D. Porter, và Harry D.  Porter. Applied Pormal Verification / Doulas L. Perry. The McGraw-Hill.

Cảnh báo! Những trích dẫn này có thể không chính xác 100%.