@article{Quevedo:2022zm,
  author = "Quevedo, Fernando",
  title = "{Formal theory: status and outlook}",
  doi = "10.22323/1.414.0027",
  journal = "PoS",
  year = 2022,
  volume = "ICHEP2022",
  pages = "027"
}