Hoffman, JohanJohanHoffman2021-09-302021-09-301997-10https://imec-publications.be/handle/20.500.12860/1932Declaratieve specificatie en transformationeel ontwerp van software-systemenPHD thesis