Gregor Snelting Bernd Fischer 0002 Franz-Josef Grosch Matthias Kievernagel Andreas Zeller Die inferenzbasierte Softwareentwicklungsumgebung NORA. 116-131 1994 9 Inform., Forsch. Entwickl. 3 db/journals/ife/ife9.html#SneltingFGKZ94