1. Structure and Interpretation of Computer Programs;Abelson,1996
2. The B-Book: Assigning Programs to Meaning;Abrial,1996
3. ADL-SCORM, 2003. Advanced Distributed Learning – Shareable Content Object Reference Model. Faulkner Information Services.
4. Compilers: Principles, Techniques and Tools;Aho,2007
5. A tool-supported design framework for safety critical interactive systems;Bastide;Interacting with Computers,2003