Ordnungtheoretische Semantik approximativer Berechnung. - Robert Obermeir (1986)