Algorithmen und Berechenbarkeit : eine Einfuhrung in die Algorithmentheorie der Softwaretechnik fur Studenten der Informatik - Bretz, Manfred (Vieweg, 1992)