Source: http://ps.informatik.uni-tuebingen.de/teaching/ws16/sdpt/02_cdp.pdf