BibTex format
@inproceedings{Honda:1999:10.1016/S0304-3975(99)00039-0,
author = {Honda, K and Yoshida, N},
doi = {10.1016/S0304-3975(99)00039-0},
pages = {393--456},
publisher = {ELSEVIER SCIENCE BV},
title = {Game-theoretic analysis of call-by-value computation},
url = {http://dx.doi.org/10.1016/S0304-3975(99)00039-0},
year = {1999}
}