APA (7th ed.) Citation

Baber, R. L. (1991). Error-free software: Know-how and know-why of program correctness. Wiley.

Chicago Style (17th ed.) Citation

Baber, Robert Laurence. Error-free Software: Know-how and Know-why of Program Correctness. Chichester [u.a.]: Wiley, 1991.

MLA (9th ed.) Citation

Baber, Robert Laurence. Error-free Software: Know-how and Know-why of Program Correctness. Wiley, 1991.