Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings (Paperback, 2022)