@INPROCEEDINGS{MartiOlietEtAl04-wadt, author = {Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer and Miguel Palomino}, title = {Theoroidal Maps As Algebraic Simulations}, booktitle = {Recent Trends in Algebraic Development Techniques. 17th International Workshop, WADT 2004. Barcelona, Spain, March 27-30, 2004. Revised Selected Papers}, year = 2005, editor = {Jos\'e Luiz Fiadeiro and Peter Mosses and Fernando Orejas}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, volume = 3423, pages = {126-143} }