Παραπομπή σε μορφή APA (7η εκδ.)
Grady, J. O. (2007). System verification: Proving the design solution satisfies the requirements. Elsevier/Academic Press.
Παραπομπή σε μορφή Chicago (17η εκδ.)
Grady, Jeffrey O. System Verification: Proving the Design Solution Satisfies the Requirements. Amsterday ; Boston: Elsevier/Academic Press, 2007.
Παραπομπή σε μορφή MLA (9th εκδ.)
Grady, Jeffrey O. System Verification: Proving the Design Solution Satisfies the Requirements. Elsevier/Academic Press, 2007.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.