Computer Science – Theory and Applications - Diekert, Volker (Springer Berlin Heidelberg, 2007)