What's the standard paper about optimisations and program transformation? Which transformations are used by the GHC, especially which optimisations are applied at optimisation level 0, 1 and 2? David Sabel JWGU Frankfurt