C. Agon, J. Bresson, and G. Assayag, The OM composer's Book, Collection Musique/Sciences . Ircam/Delatour, vol.12, 2006.

F. Berthaut, D. Janin, and M. Desaintecatherine, libTuile : un moteur d'exécution multi-échelle de processus musicaux hiérarchisés, Actes des Journées d'Informatique Musicale (JIM), 2013.

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

J. Bresson, C. Agon, and G. Assayag, Visual Lisp/CLOS programming in OpenMusic, Higher-Order and Symbolic Computation, 2009.
DOI : 10.1007/s10990-009-9044-x
URL : https://hal.archives-ouvertes.fr/hal-00683472

P. Caspi and M. Pouzet, A Co-iterative Characterization of Synchronous Stream Functions, Electronic Notes in Theoretical Computer Science, vol.11, pp.1-21, 1998.
DOI : 10.1016/S1571-0661(04)00050-7

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

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, J. Hugues, S. P. Jones, and P. Wadler, A history of Haskell, Proceedings of the third ACM SIGPLAN conference on History of programming languages , HOPL III, 2007.
DOI : 10.1145/1238844.1238856

D. Janin, Quasi-recognizable vs MSO Definable Languages of One-Dimensional Overlapping Tiles, Mathematical Found. of Comp. Science (MFCS), pp.516-528, 2012.
DOI : 10.1007/978-3-642-32589-2_46
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, 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, Walking Automata in Free Inverse Monoids, 2013.
DOI : 10.1007/978-3-662-49192-8_26
URL : https://hal.archives-ouvertes.fr/hal-00738793

D. Janin, Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems, LNCS, vol.8327, pp.7-20, 2014.
DOI : 10.1007/978-3-319-04298-5_2
URL : https://hal.archives-ouvertes.fr/hal-00879463

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

J. Kellendonk, The Local Structure of Tilings and Their Integer Group of Coinvariants, Communications in Mathematical Physics, vol.187, issue.1, pp.115-157, 1997.
DOI : 10.1007/s002200050131

J. Kellendonk and M. V. Lawson, Tiling Semigroups, Journal of Algebra, vol.224, issue.1, pp.140-150, 2000.
DOI : 10.1006/jabr.1999.8120
URL : http://doi.org/10.1006/jabr.1999.8120

J. Kellendonk and M. V. Lawson, Universal groups for point-sets and tilings, Journal of Algebra, vol.276, issue.2, pp.462-492, 2004.
DOI : 10.1016/j.jalgebra.2004.01.029

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

F. Lerdahl and R. Jackendoff, A generative theory of tonal music series on cognitive theory and mental representation, 1983.

S. Letz, Y. Orlarey, and D. Fober, Real-time composition in Elody, Proceedings of the International Computer Music Conference, pp.336-339, 2000.

W. D. Munn, Free inverse semigroups, Proceeedings of the London Mathematical Society, vol.29, issue.3, pp.385-404, 1974.
DOI : 10.1007/bf02572897
URL : http://archive.numdam.org/article/SD_1971-1972__25_2_A6_0.pdf

D. Perrin and J. Pin, Infinite Words : Automata, Semigroups, Logic and Games, Pure and Applied Mathematics, vol.141, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00112831

H. E. Scheiblich, Free inverse semigroups, Semigroup Forum, vol.70, issue.No. 3, pp.351-359, 1972.
DOI : 10.1007/BF02570809

J. B. Stephen, Presentations of inverse monoids, Journal of Pure and Applied Algebra, vol.63, issue.1, pp.81-112, 1990.
DOI : 10.1016/0022-4049(90)90057-O