Ordnungstheoretische Semantik approximativer Berechnung. (German) Zbl 0642.68027
Fakultät für Mathematik und Informatik der Technischen Universität München. 102 S. (1986).
Reviewer: R.Obermeir