Yip, Kenneth Man-Kam. 1991. KAM : a System for Intelligently Guiding Numerical Experimentation by Computer. MIT Press.