Algebraic Domain Equations for specifications containing inequational axioms. - Kruetzer, Gerd (Fachbereich Informatik, Univ. Karlsruhe. Interner Bericht, 1984)