The publications list has been updated at formal-methods-in-musicology.webnode.com/projects/, and now shows eight articles. The book about all this will be finished next summer.