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