Words, proofs, and diagrams - Barker-Plummer, Dave. (CSLI Publications, Center for the Study of Language and Information, 2002)