@article{paperbot1207,
  title = {Introduction to the Special Section on ESOP 2020},
  author = {Peter Müller},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {43},
  number = {4},
  year = {2021},
  doi = {10.1145/3484490}
}