Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday - Day, Adam.; Fellows, Michael.; Greenberg, Noam.; Khoussainov, Bakhadyr.; Melnikov, Alexander.; Rosamond, Frances. (Springer International Publishing : Imprint: Springer, 2017)