Book

An introduction to symbolic programming

by Peter Wegner