An introduction to the general theory of algorithms - Machtey, Michael (The Computer Science Library / North-Holland Publishing Company., 1978)