Ordering isomorphism classes of semantic domains - Schmidt, Gunther 1939- (Univ. der Bundeswehr München, Fak. Informatik, 1992)
Keywords: Semantik; Algebraische Spezifikation