@Inproceedings{EPTCS66.12,
  author    = {Nakata, Keiko},
  year      = {2011},
  title     = {Resumption-based big-step and small-step interpreters for While with interactive I/O},
  editor    = {Danvy, Olivier and Shan, Chung-chieh},
  booktitle = {{\rm Proceedings IFIP Working Conference on}
               Domain-Specific Languages,
               {\rm Bordeaux, France, 6-8th September 2011}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {66},
  publisher = {Open Publishing Association},
  pages     = {226-235},
  doi       = {10.4204/EPTCS.66.12},
}