Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers - Martí-Oliet, Narciso; Palomino, Miguel (Springer Berlin Heidelberg : Imprint: Springer, 2013)