Riecke, J. G. and Sandholm, A. B. (1997) “A Relational Account of Call-by-Value Sequentiality”, BRICS Report Series, 4(41). doi: 10.7146/brics.v4i41.18967.