http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Algebraic Domain Equations for specifications containing inequational axioms
KRUETZER,Gerd.- -- Algebraic Domain Equations for specifica= -- tions containing inequational axioms. - -- Karlsruhe 1984.52 S.4° -- (Fachbereich Informatik,Univ.Karlsruhe. -- Interner Bericht.Nr 107.) -- 1984:B 2644. -- Ir.
Fachbereich Informatik, Univ. Karlsruhe. Interner Bericht Nr 107