TY  - BOOK
AU  - Ehrig, H
AU  - Mahr, B
TI  - Fundamentals of algebraic specification:Equations and initial semantics
N1  - D6,8(B) M4.6
ER  -