Eine strenge Begründung dynamischer Programme und die Bestimmung ausgezeichneter Knoten- und Kantenmengen in endlichen Graphen. G. Tinhofer — 1973 Monatshefte für Mathematik