Stephen Gilmore: Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000. Trends in Functional Programming 2, Intellect 2000, ISBN 1-84150-058-5