Garschhammer, Markus (2004): Dienstgütebehandlung im Dienstlebenszyklus: von der formalen Spezifikation zur rechnergestützten Umsetzung. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics