Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday - Bowen, Jonathan P.; Li, Qin; Xu, Qiwen (Springer Nature Switzerland, 2023)