Logic, Language, and Computation - Hutchison, David; Kanade, Takeo; Kittler, Josef; Richter, Frank (Springer Berlin Heidelberg, 2013)