Pierre Cartier, 710, Séminaire Bourbaki vol. 1977/78 Exposés 507–524, 1979, 123
M. Hazewinkel, Encyclopaedia of Mathematics, 1989, 337
Karin Usadi Katz, Mikhail G. Katz, “A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its Historiography”, Found Sci, 17, no. 1, 2012, 51
Khushboo Shah, Edmond Jonckheere, Stephan Bohacek, “Dynamic Modeling of Internet Traffic for Intrusion Detection”, EURASIP J. Adv. Signal Process., 2007, no. 1, 2006, 090312
Edmond Jonckheere, Poonsuk Lohsoonthorn, Fariba Ariaei, “Scaled Gromov Four-Point Condition for Network Graph Curvature Computation”, Internet Mathematics, 7, no. 3, 2011, 137
László Babai, First European Congress of Mathematics Paris, July 6–10, 1992, 1994, 31
J.A. Bergstra, J.J.Ch. Meyer, “Small specifications for large finite data structures”, International Journal of Computer Mathematics, 9, no. 4, 1981, 305
Luisella Caire, Umberto Cerruti, “On valued rings”, Rend. Circ. Mat. Palermo, 30, no. 1, 1981, 5
Richard A. De Millo, Richard J. Lipton, Alan J. Perlis, 14, Program Verification, 1993, 297
William J. Rapaport, 30, The Turing Test, 2003, 161