@MastersThesis{masterthesis:klaedtke,
  author = 	 {Felix Klaedtke},
  title = 	 {Induktive boolesche {Funktionen}, endliche {Automaten} und 
                  monadische {Logik} zweiter {Stufe}},
  school = 	 {Albert-Ludwigs-Universit\"at Freiburg, 
                  Fakult\"at f\"ur Angewandte Wissenschaften, Institut f\"ur Informatik},
  year = 	 {2000},
  type = 	 {Diplomarbeit},
  address = 	 {Freiburg i.\,Br.},
  note = 	 {in German},
}