An introduction to the general theory of algorithms - Machtey, Michael (North-Holland Publishing Company, 1978)