D. Mazza and Ross, N. J.,
“Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators”,
Proceedings of the 15th International Conference on Foundations of Software Science and Computation Structures, vol. 7213, pp. 316-330, 2012.