Text this: Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers / edited by José Luiz Fiadeiro, Ionuț Țuțu. [electronic resource] :