Humdrum digital scores for the music of Johannes Ockeghem