1. Bair, J., Błaszczyk, P., Ely, R., Henry, V., Kanovei, V., Katz, K., Katz, M., Kutateladze, S., McGaffey, T., Schaps, D., Sherry, D., Shnider, S.: Is mathematical history written by the victors? Notices Am. Math. Soc. 60(7), 886–904 (2013). See http://www.ams.org/notices/201307/rnoti-p886.pdf and http://arxiv.org/abs/1306.5973
2. Bair, J., Błaszczyk, P., Ely, R., Henry, V., Kanovei, V., Katz, K., Katz, M., Kutateladze, S., McGaffey, T., Schaps, D., Sherry, D., Shnider, S.: Interpreting Euler’s infinitesimal mathematics (2014), in preparation
3. Bascelli T.: Galileo’s quanti: understanding infinitesimal magnitudes. Arch. Hist. Exact Sci. 68(2), 121–136 (2014)
4. Bascelli, T., Bottazzi, E., Herzberg, F., Kanovei, V., Katz, K., Katz, M., Nowik, T., Sherry, D., Shnider, S.: Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow. Notices Am. Math. Soc. (2014), to appear
5. Beeson, M.: Foundations of Constructive Mathematics. Metamathematical Studies. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 6. Springer, Berlin (1985)