Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday - Blass, Andreas (Herausgeber); Dershowitz, Nachum (Herausgeber); Reisig, Wolfgang (Herausgeber) (Programming and Software Engineering, 2010)