J. G. Riecke and A. B. Sandholm, “A Relational Account of Call-by-Value Sequentiality”, BRICS, vol. 4, no. 41, Jun. 1997.