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