• Egon Börger (auth.) Yuri Gurevich Philipp W. Kutter Martin Odersky Lothar Thiele (eds.)