José Luiz Fiadeiro; Peter D. Mosses; Fernando Orejas
Document Type
Proceedings Paper
Year published
2004
Published
in Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers in Lecture Notes in Computer Science