Garschhammer, Markus (2004): Dienstgütebehandlung im Dienstlebenszyklus: von der formalen Spezifikation zur rechnergestützten Umsetzung. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik