Vaughan R. Pratt Rational Mechanisms and Natural Mathematics. 108-122 1995 conf/tapsoft/1995 TAPSOFT db/conf/tapsoft/tapsoft95.html#Pratt95a http://dx.doi.org/10.1007/3-540-59293-8_190