Algorithmen mit Ergebnisverifikation : einige Bemerkungen zu neueren Entwicklungen Jansson, Christian Rump, Siegfried M. 1994 - TUHH Open Research