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

Banerji, R. B. (1990). Formal techniques in artificial intelligence: A sourcebook. North-Holland : Distributors for the United States and Canada, Elsevier Science Pub. Co..

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

Banerji, Ranan B. Formal Techniques in Artificial Intelligence: A Sourcebook. Amsterdam ; New York, N.Y., U.S.A.: North-Holland : Distributors for the United States and Canada, Elsevier Science Pub. Co., 1990.

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

Banerji, Ranan B. Formal Techniques in Artificial Intelligence: A Sourcebook. North-Holland : Distributors for the United States and Canada, Elsevier Science Pub. Co., 1990.