1. Graphs for Object Oriented Verification,
http://groove.cs.utwente.nl/
2. Fujaba-Homepage (2007),
http://www.fujaba.de/
3. Boronat, A.: The MOMENT2-GT web site (2008),
http://www.cs.le.ac.uk/people/aboronat/tools/moment2-gt
4. Lecture Notes in Computer Science;G.V. Batz,2008
5. Bohnet, B.: Textgenerierung durch Transduktion linguistischer Strukturen. In: DISKI 298, AKA, Berlin (2006)