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