[1]
J. Riecke and A. Sandholm, “A Relational Account of Call-by-Value Sequentiality”, BRICS, vol. 6, no. 10, Jan. 1999.