1. Voraussetzung für diese Überlegungen ist allerdings, daß die Rechenvorschrift, also das mathematische Verfahren das dem Programm zugrunde liegt, keine Fehler enthält und auch der Programmierer sauber gearbeitet hat. ( Quelle: Welt 1999）