"Es ist sehr einfach, ein Programm zu schreiben, das innerhalb kürzester Zeit und mit wenig Speicherplatzbedarf ein vorgegebenes Problem NICHT löst."
H.A. Klaeren: Algebraische Spezifikation, Springer Verlag, Berlin