main.bib

@misc{bugayenko2021eolang,
  title={EOLANG and phi-calculus},
  author={Yegor Bugayenko},
  year={2021},
  eprint={2111.13384},
  archivePrefix={arXiv},
  primaryClass={cs.PL}
}

@article{williams1985restructuring,
  title={Restructuring Pascal Programs Containing Goto Statements},
  author={Williams, M. Howard and Chen, G},
  journal={The Computer Journal},
  volume={28},
  number={2},
  pages={134--137},
  year={1985},
  publisher={Oxford University Press}
}

@article{pan1996formal,
  title={A Formal Basis for Removing Goto Statements},
  author={Pan, Si and Dromey, R. Geoff},
  journal={The Computer Journal},
  volume={39},
  number={3},
  pages={203--214},
  year={1996},
  publisher={Oxford University Press}
}

@inproceedings{erosa1994taming,
  title={Taming Control Flow: A structured approach to eliminating goto statements},
  author={Erosa, Ana M and Hendren, Laurie J},
  booktitle={Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94)},
  pages={229--240},
  publisher={IEEE},
  address={USA},
  year={1994},
  organization={IEEE}
}

@inproceedings{ceccato2008goto,
  title={Goto Elimination Strategies in the Migration of Legacy Code to Java},
  author={Ceccato, Mariano and Tonella, Paolo and Matteotti, Cristina},
  booktitle={2008 12th European Conference on Software Maintenance and Reengineering},
  publisher={IEEE},
  address={USA},
  pages={53--62},
  year={2008},
  organization={IEEE}
}