New Computational Paradigms - Conference on Computability in Europe; Cooper, S. Barry; Kanade, Takeo; Löwe, Benedikt; Torenvliet, Leen; LÃ¶we, Benedikt (Springer Berlin / Heidelberg, 2005)