Book

Computer-human interaction in symbolic computation

by D. S. Scott