A framework for formal representation and transformational optimisation of executable specificationsThomas Meyer-WieserSold outTrack