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

Guttag, J., & Liskov, B. (1986). Abstraction and specification in program development. Massachusetts Institute of Technology Cambridge Mass. McGraw-Hill.

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

Guttag, John, και Barbara Liskov. Abstraction and Specification in Program Development. Cambridge Mass. New York: Massachusetts Institute of Technology Cambridge Mass. McGraw-Hill, 1986.

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

Guttag, John, και Barbara Liskov. Abstraction and Specification in Program Development. Massachusetts Institute of Technology Cambridge Mass. McGraw-Hill, 1986.