Intelligent mathematical software systems - Houstis, Elias; Rice, John; Vichnevetsky, Robert (North- Holland Publ. Co., 1990)