Algebraic methods II : theory, tools and applications / J. A. Bergstra, L. M. G. Feijs, eds. - Berlin : Springer-Verlag, 1991 - 434 p. : ill. ; 24 cm. - Lecture notes in computer science v. 490 . ISBN: 3540539123 LCCN: 91-002815 Subjects--Topical Terms: Computer software--Development--CongressesAlgebra--Congresses