Source: https://www.cs.cornell.edu/courses/cs2800/2014fa/lnotes/25_kleene_1.pdf