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