Chapter 7: Formalisation of Haskell Refactorings. - Huiqing Li; Thompson, Simon (Trends in Functional Programming Volume 6, 2007)