An introduction to symbolic programming.
Wegner, Peter.
London, 
1963.