Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers - James, Phillip; Roggenbach, Markus (Springer International Publishing : Imprint: Springer, 2017)