1. aiSee Graph Description Language (GDL) (2008). http://www.aisee.com/gdl/nutshell
2. Graph Matching Library: VFLib (2008). http://amalfi.dis.unina.it/graph/db/vflib-2.0
3. Partitioned Boolean Quadratic Programming (PBQP) Solver (2008). http://www.it.usyd.edu.au/~scholz/pbqp.html
4. An Infrastructure for Research in Instruction-Level Parallelism (2009). http://www.trimaran.com
5. ACE—Associated Compiler Experts bv (2009) The COSY Compiler Development System. http://www.ace.nl