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

Dowsing, R., Rayward-Smith, V., & Walter, C. (1986). A first course in formal logic and its applications in computer science. Blackwell Scientific Publications.

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

Dowsing, R.D, V.J Rayward-Smith, και C.D Walter. A First Course in Formal Logic and Its Applications in Computer Science. Oxford: Blackwell Scientific Publications, 1986.

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

Dowsing, R.D, et al. A First Course in Formal Logic and Its Applications in Computer Science. Blackwell Scientific Publications, 1986.