Algorithmen, rekursive Funktionen und formale Sprachen. - Brauer, Wilfried (B.I. Hochschultaschenbücher, 1968)