Cita APA (7th ed.)

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.

Cita Chicago (17th ed.)

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.

Cita MLA (8th ed.)

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.