A relational account of call-by-value sequentiality (1997)

by Jon G Riecke, Anders Sandholm
Venue:In Proc. 12th Symp. Logic in Computer Science (LICS’97