Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers - Codescu, Mihai; Diaconescu, Răzvan; Țuțu, Ionuț (Springer International Publishing : Imprint: Springer, 2015)