¶Interaction nets
Another universal model of computation. Interaction nets are a graphical notation. Has an equivalent interaction combinator system.
[Lafont1997] Interaction combinators
[Hassan2008] Interaction nets: Programming language design and implementation