Stav dette: Music theory for computer musicians