Algebraic methods II : theory, tools and applications / J. A. Bergstra and L. M. G. Feijs, eds. - Berlin : Springer, 1991 - 434 p. - Lecture notes in computer science ; no. 490 . ISBN: 3540539123 Subjects--Topical Terms: Computer software--Development--CongressesAlgebra--Congresses LC Class. No.: QA76.76 D47 / A443