Mathematical analysis of formal structure of music | IEEE Journals & Magazine | IEEE Xplore