Algebraic domain equations for specifications containing inequational axioms - Krützer, Gerd (1984)