Logic, Language, Information, and Computation - Libkin (Springer Berlin Heidelberg, 2013)