Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday - Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang (Springer Nature, 2010)
Keywords: Algorithm Analysis and Problem Complexity; Computer algorithms; Computer Communication Networks; Computer programming, programs, data; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Software Engineering