Semantic domains with congruences - Schmidt, Gunther 1939-; Kempf, Peter (Bericht / Universität der Bundeswehr München, Fakultät für Informatik, 1992)