1. De Matteis, A., Haus, G.: Formalization of Generative Structures within Stravinsky’s The Rite of Spring. Journal of New Music Research 25(1), 47–76 (1996)
2. Lecture Notes in Computer Science;G. Haus,1988
3. Haus, G., Rodriguez, A.: Formal Music Representation; a Case Study: the Model of Ravel’s Bolero by Petri Nets. In: Haus, G. (ed.) Music Processing. Computer Music and Digital Audio Series, pp. 165–232. A-R Editions, Madison (1993)
4. Haus, G., Sametti, A.: Modeling and Generating Musical Scores by Petri Nets. Languages of Design 2(1), 7–24 (1994)
5. Lecture Notes in Computer Science;G. Haus,2005