Publications

In: Narciso Martí-Oliet, Miguel Palomino (editor). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-12) Recent Trends in Algebraic Development Techniques June 7-10 Salamanca Spain Pages 178-194 Lecture Notes in Computer Science (LNCS) 7841 Springer 2013.