Different Strokes for Different Folks? On Tempo and Diminution in Fifteenth-Century Music · Study