Banerji, R. B. (1990). Formal techniques in artificial intelligence: : a sourcebook. Amsterdam : ; New York, N.Y.: North-Holland Elsevier Science Pub. Co..
Παραπομπή Chicago StyleBanerji, R. B. Formal Techniques in Artificial Intelligence: : A Sourcebook. Amsterdam : ; New York, N.Y.: North-Holland Elsevier Science Pub. Co., 1990.
Παραπομπή MLABanerji, R. B. Formal Techniques in Artificial Intelligence: : A Sourcebook. Amsterdam : ; New York, N.Y.: North-Holland Elsevier Science Pub. Co., 1990.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.