Source: https://fsl.cs.illinois.edu/publications/serbanuta-2010-thesis.pdf