(1)
Riecke, J. G.; Sandholm, A. B. A Relational Account of Call-by-Value Sequentiality. BRICS 1997, 4.