APA (7th ed.) Citation

Baber, R. L. (1988). The spine of software: Designing provably correct software-- theory and practice, or, A mathematical introduction to the semantics of computer programs. Wiley.

Chicago Style (17th ed.) Citation

Baber, Robert Laurence. The Spine of Software: Designing Provably Correct Software-- Theory and Practice, or, A Mathematical Introduction to the Semantics of Computer Programs. Chichester [West Sussex] ; New York: Wiley, 1988.

MLA (9th ed.) Citation

Baber, Robert Laurence. The Spine of Software: Designing Provably Correct Software-- Theory and Practice, or, A Mathematical Introduction to the Semantics of Computer Programs. Wiley, 1988.