Topics in Theoretical Computer Science - Mousavi; Sgall, Jiří (Springer International Publishing, 2017)