Handbook for Automatic Computation