Structural theory of algebraic specifications in a specification logic - Ehrig, Hartmut 1944-2016; Große-Rhode, Martin