Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers - Zoltán Porkoláb; Zsók, Viktória (Springer Nature, 2023)