C. T. Burton

• A methodology for transforming functional programs