A framework for formal representation and transformational optimisation of executable specificationsThomas Meyer-WieserSold out4.3Track