@phdthesis{Blumensath08b,
  author = {A. Blumensath},
  year = 2008,
  school = {{TU Darmstadt}},
  type = {{Habilitation Thesis}},
  address = {Darmstadt},
  title = {{Simple Monadic Theories}},
}