Παραπομπή APA

Francez, N. (1992). Program verification. Wokingham, England: Addison-Wesley Publishing Co., Inc..

Παραπομπή Chicago Style

Francez, Nissim. Program Verification. Wokingham, England: Addison-Wesley Publishing Co., Inc., 1992.

Παραπομπή MLA

Francez, Nissim. Program Verification. Wokingham, England: Addison-Wesley Publishing Co., Inc., 1992.

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