@article{Gaertner11,
  journal = {Logical Methods in Computer Science},
  number = {3},
  pages = {1--20},
  title = {Real Analytic Machines and Degrees},
  volume = {7},
  year = {2011},
  author = {Tobias G\"artner and Martin Ziegler},
}