APA (7th ed.) Citation

Backhouse, R. C. (1987). Program Construction and verification.

Chicago Style (17th ed.) Citation

Backhouse, Roland C. Program Construction and Verification. 1987.

MLA (9th ed.) Citation

Backhouse, Roland C. Program Construction and Verification. 1987.

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