Source: http://people.cs.aau.dk/~bnielsen/sw6-06/material/ccmigration_09186a00802cb785.pdf