@Inproceedings{EPTCS32.5,
  author    = {Nakata, Keiko and Uustalu, Tarmo},
  year      = {2010},
  title     = {Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction},
  editor    = {Aceto, Luca and Soboci\'nski, Pawe{\l}},
  booktitle = {{\rm Proceedings Seventh Workshop on}
               Structural Operational Semantics,
               {\rm Paris, France, 30 August 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {32},
  publisher = {Open Publishing Association},
  pages     = {57-75},
  doi       = {10.4204/EPTCS.32.5},
}