@PhdThesis{Ahrendt01,
  author = 	 {Wolfgang Ahrendt},
  title = 	 {{Deduktive Fehlersuche in Abstrakten Datentypen [online]}},
  school = 	 {Karlsruhe, Univ., Fak. f{\"u}r Informatik, Diss., 2001},
  year = 	 {2001},
  url =          {http://www.ubka.uni-karlsruhe.de/cgi-bin/psview?document=2001/informatik/8},
  note = {\verb+http://www.ubka.uni-karlsruhe.de/cgi-bin/psview?document=2001/informatik/8+}
}