(1)
Jiresch, E. Realizing Impure Functions in Interaction Nets. ECEASST 2011, 38.