Introducing group theory through music - Johnson, Craig M.