Semantic domains with congruences - Schmidt, Gunther 1939-; Kempf, Peter (Univ. der Bundeswehr München, Fak. für Informatik, 1992)