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