S. Abramsky, A structural approach to reversible computation, Theoretical Computer Science, vol.347, issue.3, pp.441-464, 2005.
DOI : 10.1016/j.tcs.2005.07.002

D. P. Anderson and R. Kuivila, Formula: a programming language for expressive computer music, Computer, vol.24, issue.7, 1992.
DOI : 10.1109/2.84829

F. Berthaut, D. Janin, and B. Martin, ADVANCED SYNCHRONIZATION OF AUDIO OR SYMBOLIC MUSICAL PATTERNS: AN ALGEBRAIC APPROACH, International Journal of Semantic Computing, vol.06, issue.04, pp.409-427, 2012.
DOI : 10.1142/S1793351X12400132
URL : https://hal.archives-ouvertes.fr/hal-00698963

A. Blumensath and D. Janin, A syntactic congruence for languages of birooted trees, Semigroup Forum, vol.63, issue.4, 2014.
DOI : 10.1007/s00233-014-9677-x
URL : https://hal.archives-ouvertes.fr/hal-00947972

P. Cointe and X. Rodet, Formes, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, pp.85-95, 1984.
DOI : 10.1145/800055.802024

D. Collinge, Moxie: A languge for computer music performance, Proc. Int'l Computer Music Conference, pp.217-220, 1984.

R. B. Dannenberg, The Canon Score Language, Computer Music Journal, vol.13, issue.1, pp.47-56, 1989.
DOI : 10.2307/3679854

R. B. Dannenberg, C. L. Fraley, and P. Velikonja, A functional language for sound synthesis with behavioral abstraction and lazy evaluation, 1992.

V. Danos and L. Regnier, Reversible, irreversible and optimal ??-machines, Theoretical Computer Science, vol.227, issue.1-2, pp.79-97, 1999.
DOI : 10.1016/S0304-3975(99)00049-3
URL : http://doi.org/10.1016/s0304-3975(99)00049-3

P. Desain and H. Honing, LOCO: A Composition Microworld in Logo, Computer Music Journal, vol.12, issue.3, pp.30-42, 1988.
DOI : 10.2307/3680334

A. Dicky and D. Janin, Embedding Finite and Infinite Words into Overlapping Tiles, 2013.
DOI : 10.1007/978-3-319-09698-8_30
URL : https://hal.archives-ouvertes.fr/hal-00910002

G. Haus and A. Sametti, Scoresynth: a system for the synthesis of music scores based on Petri nets and a music algebra, Computer, vol.24, issue.7, 1992.
DOI : 10.1109/2.84837

P. Hudak, A sound and complete axiomatization of polymorphic temporal media, 2008.

P. Hudak, The Haskell School of Music : From signals to Symphonies, 2013.

P. Hudak, An Algebraic Theory of Polymorphic Temporal Media, Proceedings of PADL'04: 6th International Workshop on Practical Aspects of Declarative Languages, pp.1-15, 2004.
DOI : 10.1007/978-3-540-24836-1_1

P. Hudak, T. Makucevich, S. Gadde, and B. Whong, Abstract, Journal of Functional Programming, vol.27, issue.03, pp.465-483, 1996.
DOI : 10.2307/3679854

]. D. Janin, Quasi-recognizable vs MSO definable languages of onedimensional overlapping tiles, Mathematical Found. of Comp. Science (MFCS), pp.516-528, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00671917

D. Janin, Vers une modélisation combinatoire des structures rythmiques simples de la musique, Revue Francophone d'Informatique Musicale (RFIM), 2012.

D. Janin, Algebras, Automata and Logic for Languages of Labeled Birooted Trees, In Int. Col. on Aut., Lang. and Programming LNCS, vol.7966, pp.318-329, 2013.
DOI : 10.1007/978-3-642-39212-2_29
URL : https://hal.archives-ouvertes.fr/hal-00784898

D. Janin, On Languages of One-Dimensional Overlapping Tiles, Int. Conf. on Current Thrends in Theo. and Prac. of Comp. Science (SOFSEM), pp.244-256, 2013.
DOI : 10.1007/978-3-642-35843-2_22
URL : https://hal.archives-ouvertes.fr/hal-00659202

D. Janin, Overlaping tile automata, 8th International Computer Science Symposium in Russia (CSR), pp.431-443, 2013.
DOI : 10.1007/978-3-642-38536-0_37

D. Janin, F. Berthaut, M. Desainte-catherine, Y. Orlarey, and S. Salvati, The T-calculus, Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, FARM '13, 2013.
DOI : 10.1145/2505341.2505347
URL : https://hal.archives-ouvertes.fr/hal-00789189

D. Janin, F. Berthaut, and M. Desaintecatherine, Multi-scale design of interactive music systems : the libTuiles experiment, 10th Conference on Sound and Music Computing (SMC), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00813313

M. V. Lawson, Inverse Semigroups : The theory of partial symmetries, World Scientific, 1998.
DOI : 10.1142/3645

O. Orlarey, D. Fober, S. Letz, and M. Bilton, Lambda calculus and music calculi, Proceedings of International Computer Music Conference. Int'l Computer Music Association, 1994.

Y. Orlarey, D. Fober, and S. Letz, Faust: an efficient functional approach to DSP programming, New Computationals Paradigms for Computer Music. Editions Delatour France, 2009.

J. Sakarovitch, Elements of Automata Theory, 2009.
DOI : 10.1017/CBO9781139195218

B. Schottstaedt, Pla: A Composer's Idea of a Language, Computer Music Journal, vol.7, issue.1, pp.11-20, 1983.
DOI : 10.2307/3679914

G. Wang, R. Fiebrink, and P. Cook, Combining analysis and synthesis in the ChucK programming language, Proceedings of the International Computer Music Conference, 2007.