@inproceedings{gopinath2021input,
  title={Input Algebras},
  author={Gopinath, Rahul and Nemati, Hamid and Zeller, Andreas},
  booktitle={Proceedings of the 43th International Conference on Software Engineering},
  year={2021},
  organization={ACM}
}