Applications of functional programming (UCL Press, 1995)