Catalogue of artificial intelligence tools - Bundy, Alan [Ed.] (Springer Verlag, 1984)