Correction to: T. Wies (Ed.): Programming Languages and Systems, LNCS 13990, https://doi.org/10.1007/978-3-031-30044-8

In the originally published version of chapter 12, the order of the author names was not alphabetical as expected. This has been corrected.

In the originally published version of chapter 20, there was an error in Theorem 1. This has been corrected.