Logical Foundations of Computer Science - Artemov, Sergei; Kanade, Takeo; Nerode, Anil; Kittler, Josef (Springer Berlin Heidelberg, 2009)