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