Introduction to functional programming using Haskell / Richard, Bird, 1998
LCNA (CD OCLC), 1995-03
Mathematics of program construction : second international conference, Oxford, U.
K., June 29 - July 3, 1992, proceedings / R. S. Bird, C. C. Morgan, J. C. P. Woodcock,
eds., 1993