@genealogie

Concrete and abstract specification, modularization and program development by transformation

. TU München, (1978)

Links and resources

Tags