Logical Foundations of Computer Science - Sergei Artemov, Anil Nerode; Nerode, Anil (Springer International Publishing, 2016)