a System for Doing Mathematics by Computer (AddisonWesley (1988)

by S Wolfram, Mathematica