Automatic documentation and mathematical linguistics (Allerton Press, 2007)