RIECKE, J.; SANDHOLM, A. A Relational Account of Call-by-Value Sequentiality. BRICS Report Series, v. 6, n. 10, 10 Jan. 1999.