Computational structures an introduction to non-numerical computing. - Hall, Patrick A.V. (London Macdonald and Company (Publishers), Ltd., 1975)