Fields of logic and computation essays dedicated to Yuri Gurevich on the occasion of his 70th Birthday - Dershowitz, Nachum; Reisig, Wolfgang; Blass, Andreas (Lecture Notes in Computer Science,, 2010)