Topics in theoretical computer science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings - Mousavi, Mohammad Reza 1978-; Sgall, Jiří (Springer, 2017)