Bauer, Sebastian (2012): Modal specification theories for component-based design. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik