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