DOT Graph Description Language source and utlilities