Mupad: user's manual (SN: B. Fuchssteiner, Automath, 1996)
GCR