A Formal Approach to Curriculum Theory Analysis