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