Source: https://homes.cs.aau.dk/~bnielsen/sw6-06/material/ccmigration_09186a00802cb785.pdf