Ontic : a knowledge representation system for mathematics - McAllester, David A. (MIT Press, 1989)