B. Jean, A. Carlos, and A. Gérard, Openmusic : visual programming environment for music composition, analysis and research, Proceedings of the 19th ACM international conference on Multimedia, pp.743-746, 2011.

B. Jean, A. Carlos, and A. Gérard, Visual lisp/clos programming in Openmusic, Higher-Order and Symbolic Computation, pp.81-111, 2009.

H. Karim, Fragments de recherche et d'expérimentation : Eléments de réflexions autour de l'écriture rythmique d'Emmanuel Nunes. Présentation à un séminaire Mamux à l'Ircam, 2012.

A. Carlos, A. Gérard, F. Joshua, and R. Camilo, Kant : a Critique of Pure Quantification, ICMC, 1994.

A. Taylan, C. Peter, D. Bert, and K. , Rhythm quantization for transcription, Computer Music Journal, vol.24, issue.2, pp.60-76, 2000.

M. Benoît, Détermination automatique de la pulsation, de la métrique et des motifs musicaux dans des interprétations à tempo variable d'oeuvres polyphoniques, Thèse de doctorat, 2004.

R. David, Symbolic music comparison with tree data structures, Thèse de doctorat, 2010.

R. Krzysztof and . Apt, Logic programming, Handbook of theoretical computer science B) : formal models and semantics, 1991.