Computation and Logic in the Real World - Cooper, S. Barry; Kanade, Takeo; Löwe, Benedikt; Sorbi, Andrea; Kittler, Josef (Springer Berlin Heidelberg, 2007)