S. Barry Cooper Benedikt Löwe Leen Torenvliet New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings CiE 3526 2005 3-540-26179-6 Lecture Notes in Computer Science Springer db/conf/cie/cie2005.html