View Source Code of "DCO Synthesis Workshop 2015"