A framework for formal representation and transformational optimisation of executable specifications

Thomas Meyer. A framework for formal representation and transformational optimisation of executable specifications. PhD thesis, University of Bremen, 2008.

Abstract

Abstract is missing.