Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

Banerji, Ranan B. Formal Techniques in Artificial Intelligence: A Sourcebook. Amsterdam [etc.]: North-Holland, 1990.

Cita MLA (9a ed.)

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