Cita APA (7a ed.)

Dahl, O. (1992). Verifiable programming. Prentice-Hall.

Cita Chicago Style (17a ed.)

Dahl, Ole-Johan. Verifiable Programming. New York [etc.]: Prentice-Hall, 1992.

Cita MLA (9a ed.)

Dahl, Ole-Johan. Verifiable Programming. Prentice-Hall, 1992.