1. Cella, C.E.: Sulla struttura logica della musica. Rivista umbra di musicologia 48, 1–82 (2004)
2. Ellis, D., Rosenthal, D.: Mid-level representations for Computational Auditory Scene Analysis. In: International joint conference on Artificial Intelligence (1995)
3. Farmer, W.M.: The seven virtues of simple type theory. Journal of Applied Logic 72 (2007)
4. Goodwin, M., Vetterli, M.: Atomic decompositions of audio signal. In: IEEE Audio Signal Processing Workshop (1997)
5. Leman, M.: Expressing coherence of musical perception in formal logic. Mathematics and music: a Diderot Mathematical Forum, pp. 184–198 (2002)