Comment by swalberg

4 days ago

This reminds me of https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_Ref...