@misc{indiciaeb840f45f4c0e,
  title = {Creating Interactive Visualizations of TopHat Programs},
  author = {Mark Gerarts and Marc de Hoog and Nico Naus and Tim Steenvoorden},
  year = {2022},
  url = {https://arxiv.org/abs/2208.13870},
  note = {Source identifier: 2208.13870}
}