A framework for formal representation and transformational optimisation of executable specifications - Meyer, Thomas (Logos-Verl., 2008)