Source: https://www.cs.uky.edu/~raphael/courses/CS655/Advanced_programming_language_design.pdf