Source: https://cse.osu.edu/~neelam/courses/755/abstractInterJonesNielson.pdf