Computer - Human Interaction in Symbolic Computation (Texts & Monographs in Symbolic Computation)