ORDNUNGSTHEORETISCHE SEMANTIK APPROXIMATIVER BERECHNUNG - Obermeier, Robert (Technická univerzita, 1986)