Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen. - Rolf Hammer (1992)