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; Martins, Manuel A. (Springer Nature Switzerland, 2023)