T. V. Gopal Gerhard Jäger Silvia Steila Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings TAMC 2017 Lecture Notes in Computer Science 10185 978-3-319-55910-0 978-3-319-55911-7 https://doi.org/10.1007/978-3-319-55911-7 db/conf/tamc/tamc2017.html