TY - BOOK AU - Wirsing M Ed. AU - Bergstra J A Ed. TI - Algebraic methods : theory , tools and applications T2 - Lecture notes in computer science; 394 U1 - D65,8(B)0aB2, M9 PY - 1989/// CY - Berlin PB - Sprigner Verlag KW - Computer science ER -