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

Banerji, R. (1990). Formal techniques in artificial intelligence: A sourcebook. North-Holland Publishing Company.

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

Banerji, R.B. Formal Techniques in Artificial Intelligence: A Sourcebook. Amsterdam: North-Holland Publishing Company, 1990.

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

Banerji, R.B. Formal Techniques in Artificial Intelligence: A Sourcebook. North-Holland Publishing Company, 1990.