Cita APA (7a ed.)

Francez, N. (1992). Program verification. [S.n.].

Cita Chicago Style (17a ed.)

Francez, Nissim. Program Verification. Cambridge: [S.n.], 1992.

Cita MLA (9a ed.)

Francez, Nissim. Program Verification. [S.n.], 1992.