Formalization of Voice-Leadings and the Nabla Algorithm - del Pozo I, Gómez F (Lecture Notes In Computer Science, 2019)