Eine strenge Begründung dynamischer Programme und die Bestimmung eingezeichneter Knoten oder Kantenmengen in endlichen Graphen. - Tinhofer, Gottfried (Inst.f.numer.Math.u.elektron.Informationsverarb., Univ., 1972)