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