Computational structures: An introduction to non-numerical computing (Computer monographs) - Patrick A.V. Hall