Towards a Haskell/Java Connection. - Claus Reinke (IFL, 1998)

Functions, frames, and interactions - completing a λ-calculus-based purely functional language with respect to programming in the large and interactions with runtime environments. - Claus Reinke (1998)

Haskell-Coloured Petri Nets. - Claus Reinke (IFL, 1999)

Tool support for refactoring functional programs. - Huiqing Li; Claus Reinke; Simon J. Thompson (Haskell, 2003)

The Haskell Refactorer, HaRe, and its API. - Huiqing Li; Simon J. Thompson; Claus Reinke (LDTA@ETAPS, 2005)

Refactoring Functional Programs at the University of Kent. - Simon J. Thompson; Christopher Brown 002; Huiqing Li; Claus Reinke; Nik Sultana (WRT, 2007)