A Review of Mathematica, by Richard Fateman (long ago).