Algebraic methods II : theory, tools and applications - Bergstra, J. A.; Feijs, L. M. G. (Loe M. G.); European Strategic Programme for Research and Development in Information Technology (Berlin : Springer-Verlag, 1991)
Keywords: Computer software -- Development -- Congresses; Algebra -- Congresses