Jon G. Riecke, Anders Sandholm. A Relational Account of Call-by-Value Sequentiality. In LICS. pages 258-267, 1997. [doi]
@inproceedings{RieckeS97, title = {A Relational Account of Call-by-Value Sequentiality}, author = {Jon G. Riecke and Anders Sandholm}, year = {1997}, url = {http://www.computer.org/proceedings/lics/7925/79250258abs.htm}, researchr = {https://researchr.org/publication/RieckeS97}, cites = {0}, citedby = {0}, pages = {258-267}, booktitle = {LICS}, }