APA Edition Citation

Dahl, O. (1992). Verifiable Programming. Prentice Hall.

Chicago Edition Citation

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

MLA Edition Citation

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

Warning: These citations may not always be 100% accurate.