Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings - Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova ((Lecture Notes in Computer Science))