Formalization of Voice-Leadings and the Nabla Algorithm | Publicación