APA (7th ed.) Citation

Baber, R. L. (1987). The spine of software: A mathematical introduction to the semantics of computer programs. John Wiley & Sons.

Chicago Style (17th ed.) Citation

Baber, Robert L. The Spine of Software: A Mathematical Introduction to the Semantics of Computer Programs. Chichester: John Wiley & Sons, 1987.

MLA (8th ed.) Citation

Baber, Robert L. The Spine of Software: A Mathematical Introduction to the Semantics of Computer Programs. John Wiley & Sons, 1987.