E. Fouh, V. Karavirta, D. A. Breakiron, S. Hamouda, S. Hall et al., Design and architecture of an interactive eTextbook-The OpenDSA system, Science of Computer Programming, vol.88, pp.22-40, 2014.

G. Arias, E. J. Hermant, O. , J. , and P. , A Taste of Sound Reasoning in Faust, Thirteenth Linux Audio Conference, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01251069

G. Arias, E. J. Pin, B. , J. , and P. , jsCoq: Towards Hybrid Theorem Proving Interfaces, 12th International Workshop on User Interfaces for Theorem Provers, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01425752

G. Gonthier, A. Asperti, J. Avigad, Y. Bertot, and C. Cohen, A Machine-Checked Proof of the Odd Order Theorem, 4th Conference on Interactive Theorem Proving, vol.7998, pp.163-179, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00816699

D. E. Knuth, The Art of Computer Programming, 1968.

D. E. Knuth, Literate Programming, The Computer Journal, vol.27, issue.2, pp.97-111, 1981.

P. D. Lockhart, A Mathematician's Lament, 2009.

P. Martin-löf, Constructive mathematics and computer programming, Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages, pp.167-184, 1985.

J. Mccartney, Rethinking the computer music language: SuperCollider, Computer Music Journal, vol.26, issue.4, pp.61-68, 2002.

Y. Orlarey, D. Fober, and S. Letz, Syntactical and semantical aspects of Faust, Soft Computing, vol.8, issue.9, pp.623-632, 2004.
DOI : 10.1007/s00500-004-0388-1

B. C. Pierce, A. Azevedo-de-amorim, C. Casinghino, M. Gaboardi, M. Greenberg et al., Software Foundations, 2016.

J. O. Smith, Mathematics of the Discrete Fourier Transform (DFT) with Audio Applications, 2007.

D. Weintrop, E. Beheshti, M. S. Horn, K. Orton, L. Trouille et al., Interactive Assessment Tools for Computational Thinking in High School STEM Classrooms, 6th International Conference, pp.22-25, 2011.
DOI : 10.1007/978-3-319-08189-2_3