- Shaoying Liu, Zhenhua Duan, ai Liu, editors, Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers. Volume 13854 of Lecture Notes in Computer Science, Springer, 2023.