Computer-human interaction in symbolic computation - Kajler; Scott (Springer Wien, 1998)