Computer-Human Interaction in Symbolic Computation door N. Kajler & D.S. Scott