Computer Science – Theory and Applications - Diekert, Volker; Kanade, Takeo; Volkov, Mikhail V.; Voronkov, Andrei; Kittler, Josef; Volkov, Mikhail (Springer Berlin Heidelberg, 2007)