edit: This is the link I meant - https://www.ece.cmu.edu/~ganger/712.fall02/papers/p761-thomp...
c_i is the i'th version of the compiler.
c1 c2 // c1 compiles c2 c2 c3 // c2 compiles c3
edit: This is the link I meant - https://www.ece.cmu.edu/~ganger/712.fall02/papers/p761-thomp...