Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1. 3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers - Madeira, Alexandre. (Springer, 2023)