Παραπομπή σε μορφή APA (7η εκδ.)

Dempster, D., & Stuart, M. (2002). Verification methodology manual: Techniques for verifying HDL designs. Teamwork International.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Dempster, David, και Michael Stuart. Verification Methodology Manual: Techniques for Verifying HDL Designs. Great Britain: Teamwork International, 2002.

Παραπομπή σε μορφή MLA (8th εκδ.)

Dempster, David, και Michael Stuart. Verification Methodology Manual: Techniques for Verifying HDL Designs. Teamwork International, 2002.