<An> Introduction to general theory of algorithmus - Machtey, Michael (<The> Computer science library, 1978)