Automatic documentation and mathematical linguistics (Allerton Press;)