, 2017, Mathematics for makers and mathematics for users, in B. Sriraman (ed.), Humanizing mathematics and its philosophy, Basel, Birkhäuser, pp. 309-327.