An Introduction to the Theory of Lists
Richard S. Bird
Book Title
Logic of Programming and Calculi of Discrete Design
Editor
M. Broy
Note
NATO ASI Series F Volume 36. Also available as Technical Monograph PRG−56‚ from the Programming Research Group‚ Oxford University
Pages
3–42
Publisher
Springer−Verlag
Year
1987