Nonequivalence of categories for equational algebraic specifications in view of high level replacement systems - Ehrig, Hartmut 1944-2016; Parisi-Presicce, Francesco (Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1991)