Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications.

Ali E. Abdallah

Browse the full ICFEM paper archive.