M. Toro, M. Desainte-catherine, and C. Rueda, Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios, Journal of Mathematics and Music, vol.330, issue.3, 2012.
DOI : 10.1007/s00500-004-0390-7

P. Teehan, M. R. Greenstreet, and G. G. Lemieux, A Survey and Taxonomy of GALS Design Styles, IEEE Design & Test of Computers, vol.24, issue.5
DOI : 10.1109/MDT.2007.151

M. Toro, Structured musical interactive scores (short)