An introduction to the Bird-Meertens Formalism (1994)

by Jeremy Gibbons
Venue:In New Zealand Formal Program Development Colloquium Seminar