Johannis de Muris notitia artis musicae et compendium musicae practicae, Petrus de Sancto Dionysio tractatus de musica