S. Chaplick, J. Fiala, P. van 't Hof, D. Paulusma, and M. Tesar. Fundamentals of Computation Theory - 19th International Symposium,
FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, volume 8070 of Lecture Notes in Computer Science, page 121--132. Springer, (2013)