Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings - Bojańczyk, Mikołaj (Springer, 2019)