Algebraic specification of modules - Ehrig, Hartmut 1944-2016 (1985)