E. Jiresch, “Realizing Impure Functions in Interaction Nets”, ECEASST, vol. 38, Sep. 2011.