Stream fusion: from lists to streams to nothing at all. - Duncan Coutts; Roman Leshchinskiy; Don Stewart (ICFP, 2007)

Rewriting Haskell Strings. - Duncan Coutts; Don Stewart; Roman Leshchinskiy (PADL, 2007)

Haskell: batteries included. - Duncan Coutts; Isaac Potoczny-Jones; Don Stewart (Haskell, 2008)

Stream fusion : practical shortcut fusion for coinductive sequence types. - Duncan Coutts (2011)

Deterministic Parallel Programming with Haskell. - Duncan Coutts; Andres Löh (Comput. Sci. Eng., 2012)

Flexible Formality Practical Experience with Agile Formal Methods. - Philipp Kant; Kevin Hammond; Duncan Coutts; James Chapman 001; Nicholas Clarke; Jared Corduan; Neil J. Davies; Javier Díaz; Matthias Güdemann; Wolfgang Jeltsch; Marcin Szamotulski; Polina Vinogradova (TFP, 2020)