Describir: Formal Methods in Musicology :