An introduction to general theory of algorithms. - Machtey, Michael (Theory of computation series, 1978)