Mathematical Knowledge and the Interplay of Practices - Ferreirós (IEEE, 2003)