Professor sent me some information on a couple of video lectures about the music of Portal 2 from a theoretical standpoint: "Variations on a Theme by a Rogue A.I.: Music, Gameplay, and Storytelling in Portal 2". It's made for people who have only a basic understanding of music theory, so don't worry about there being too much technical jargon.