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