Automatic documentation & mathematics - New York: Allerton Press Inc.,