@misc{indiciae4b97a6e4db13,
  title = {Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction},
  author = {Keiko Nakata and Tarmo Uustalu},
  year = {2010},
  doi = {10.4204/eptcs.32.5},
  url = {https://arxiv.org/abs/1008.2112},
  note = {Source identifier: 1008.2112}
}