http://www.informatik.uni-leipzig.de/~vranic/CCCC/