Cita APA (7a ed.)

Francez, N. (1992). Program verification. Addison-Wesley.

Cita Chicago Style (17a ed.)

Francez, Nissim. Program Verification. Wokingham [etc.]: Addison-Wesley, 1992.

Cita MLA (9a ed.)

Francez, Nissim. Program Verification. Addison-Wesley, 1992.