Riecke, J. G.; Sandholm, A. B. A Relational Account of Call-by-Value Sequentiality. BRICS 1999, 6.