Eine strenge Begründung dynamischer Programme und die Bestimmung ausgezeichneter Knoten- oder Kantenmengen in endlichen Graphen. - Tinhofer, Gottfried (Institut f.numerische Mathematik u.elektron. Informationsverarbeitung, Univ.Innsbruck. Bericht, 1972)