Carlos Caleiro, Jaime Ramos. Cryptomorphisms at Work. In José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas, editors, Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Volume 3423 of Lecture Notes in Computer Science, pages 45-60, Springer, 2004. [doi]
Abstract is missing.