Theories of programming and formal methods essays dedicated to Jifeng He on the occasion of his 80th birthday - Bowen, Jonathan P. 1956-; Li, Qin; Xu, Qiwen (Lecture notes in computer science, 2023)