(1)
Riecke, J.; Sandholm, A. A Relational Account of Call-by-Value Sequentiality. BRICS 1999, 6.