1. Antonelli, G. A., "The nature and purpose of numbers", The Journal of Philosophy, vol. 107 (2010), pp. 191–212.
2. Antonelli, G. A., "Notions of invariance for abstraction principles", Philosophia Mathematica. Series III, vol. 18 (2010), pp. 276–92.
3. Antonelli, G. A., "Numerical abstraction via the Frege quantifier", Notre Dame Journal of Formal Logic, vol. 51 (2010), pp. 161–79.
4. Boolos, G., "For every ${A}$ there is a ${B}$", Linguistic Inquiry, vol. 12 (1981), pp. 465–66.
5. Floyd, R. W., and R. Beigel, The Language of Machines. An Introduction to Computability and Formal Languages, Computer Science Press, New York, 1994.