Media type: E-Article Title: Lecture Notes in Computer Science: Turning Inductive into Equational Specifications Contributor: Berghofer, Stefan; Bulwahn, Lukas; Haftmann, Florian Published: Springer Berlin Heidelberg, 2009 Published in: Lecture Notes in Computer Science (2009), Seite 131-146 Language: Not determined DOI: 10.1007/978-3-642-03359-9_11 ISSN: 1611-3349; 0302-9743 Origination: Footnote: