1. Allombert, A., Marczak, R., Desainte-Catherine, M., Baltazar, P.: GarnierLaurent: virage: designing an interactive intermedia sequencer from users requirements and theoretical background. In: International Computer Music Conference (2010)
2. Andreoli, J.M.: Logic programming with focusing proofs in linear logic. J. Log. Comput. 2(3), 297–347 (1992)
3. Arias, J., Desainte-Catherine, M., Olarte, C., Rueda, C.: Foundations for reliable and flexible interactive multimedia scores. Technical Report, LaBRI, University of Bordeaux, March 2015
4. Lecture Notes in Computer Science;V Danos,1993
5. De la Hogue, T., Baltazar, P., Desainte-Catherine, M., Chao, J., Bossut, C.: OSSIA: open scenario system for interactive applications. In: Journées d’Informatique Musicale, pp. 78–84. Bourges (2014)