Boute, R.R.Boute2021-10-142021-10-142002https://imec-publications.be/handle/20.500.12860/6064Declarative specification and calculation in view of software evolutionProceedings paper