1. Categories of sketched structures;Bastiani;Cahiers de topologie et geometrie differentielle,1972
2. J. Bochnak, M. Coste, M.-F. Roy, Géometrie Algébrique Réelle, Springer, Ergeb. M. n 11, 1987.
3. L. Coppey, C. Lair, Leçons de théorie des esquisses (I), Diagramme, vol. 12, Paris, 1984.
4. L. Coppey, C. Lair, Leçons de théorie des esquisses (II), Diagramme, vol. 19, Paris, 1988.
5. Valuations and Dedekind's Prague theorem;Coquand;J. Pure Appl. Algebra,2001