Bernd Brückner

An Honeckers Seite
Concrete and abstract specification, modularization and program development by transformation