Yip, K. M.-K. (1991). <i>KAM : a system for intelligently guiding numerical experimentation by computer</i>. MIT Press.