Reference:
- Koko Muroya and Prof. Dan Ghica. The dynamic geometry of interaction machine: A call-by-need graph rewriter. In 26th EACSL EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24 2017, Stockholm, Sweden, pages 32:1–32:15, 2017.