@Book{Stenz2002a,
  author =	 {Gernot Stenz},
  title = 	 {{T}he {D}isconnection {C}alculus},
  publisher = 	 {Logos Verlag, Berlin},
  year = 	 2002,
  note =         {Dissertation, Fakult{\"a}t
                  f{\"u}r Informatik, Technische Universit{\"a}t
                  M{\"u}nchen},
}