An introduction to symbolic programming - Wegner, Peter (Griffin, 1966)