Logic, Language, Information and Computation - Hutchison, David; Kanade, Takeo; de Queiroz, Ruy (Springer Berlin Heidelberg, 2012)