Παραπομπή APA

Backhouse, R. C. (1986). Program construction and verification. Englewood Cliffs, NJ.: Prentice-Hall International.

Παραπομπή Chicago Style

Backhouse, Roland C. Program Construction and Verification. Englewood Cliffs, NJ.: Prentice-Hall International, 1986.

Παραπομπή MLA

Backhouse, Roland C. Program Construction and Verification. Englewood Cliffs, NJ.: Prentice-Hall International, 1986.

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