Algebraic methods : theory , tools and applications - Wirsing M Ed.; Bergstra J A Ed. (Berlin Sprigner Verlag, 1989)
Keywords: Computer science