1. Workflow management: models, methods, and systems;Aalst,2004
2. Compilers: principles, techniques and tools;Aho,2007
3. Overview and evolution of the ADDIE training system;Allen;Advances in Developing Human Resources,2006
4. Reasoning-based curriculum sequencing and validation: integration in a service-oriented architecture;Baldoni,2007
5. Curriculum model checking: declarative representation and verification of properties;Baldoni,2007