Hartmut Ehrig Robert Geisler Marcus Klar DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. 43-46 1998 13 Inform., Forsch. Entwickl. 1 db/journals/ife/ife13.html#EhrigGK98