Words, proofs, and diagrams / edited by Dave Barker-Plummer ... [et al.]. - Barker-Plummer, Dave (CSLI, 2002)