Book

Introduction to symbolic computation

by Ben Du Boulay