Eichberg, Michael :
Open Integrated Development and Analysis Environments.
[Online-Edition]
Technische Universit├Ąt, Darmstadt
[Ph.D. Thesis], (2007)