Yu. I. Manin Expanding constructive universes. 255-260 1979 conf/ershov/1979 Algorithms in Modern Mathematics and Computer Science db/conf/ershov/ershov1979.html#Manin79 http://dx.doi.org/10.1007/3-540-11157-3_29