Bundy (1986)
Bundy A. (ed) (1990)
Catalogue of Artificial Intelligence tools
Springer, 3rd edn.