Functional programming and program transformation with interaction nets - Mackie, Ian (2005)
Techon. Report DI-PURe 05.05.02.