Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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