An algebraic specification concept for modules - Ehrig, Hartmut 1944-2016 (1984)
Keywords: Computeralgebra; Modul