APA (7th ed.) Citation

Martin, J. (1982). Program design which is provably correct: A quantum leap in software. Savant.

Chicago Style (17th ed.) Citation

Martin, James. Program Design Which Is Provably Correct: A Quantum Leap in Software. Carnforth, Lancashire: Savant, 1982.

MLA (9th ed.) Citation

Martin, James. Program Design Which Is Provably Correct: A Quantum Leap in Software. Savant, 1982.