1. The Eclipse project,
http://www.eclipse.org
2. Lecture Notes in Computer Science;D. Akehurst,2002
3. Lecture Notes in Computer Science;C. Atkinson,2001
4. Lecture Notes in Computer Science;J. Bézivin,2003
5. Börger, E., Stärk, R.: Abstract State Machines. In: A method for High-Level System Design and Analysis, Springer, Heidelberg (2003)