@book{Knuth86,
  author    = {Donald E. Knuth},
  title     = {The TeXbook},
  publisher = {Addison-Wesley},
  year      = {1986},
  isbn      = {0-201-13447-0}
}

@book{Lamport94,
  author    = {Leslie Lamport},
  title     = {LaTeX---{A} Document Preparation System:
               User's Guide and Reference
               Manual, Second Edition},
  publisher = {Pearson / Prentice Hall},
  year      = {1994},
  isbn      = {978-0-201-52983-8}
}

@article{Knuth89,
  author    = {Donald E. Knuth},
  title     = {The Errors of {TEX}},
  journal   = {Softw.\ Pract.\ Exp.},
  volume    = {19},
  number    = {7},
  pages     = {607--685},
  year      = {1989}
}

@inproceedings{MullerK22,
  author    = {Dennis M{\"{u}}ller and
               Michael Kohlhase},
  editor    = {Kevin Buzzard and
               Temur Kutsia},
  title     = {Injecting Formal Mathematics Into {LaTeX}},
  booktitle = {Intelligent Computer Mathematics---15th International Conference,
               {CICM} 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13467},
  pages     = {168--183},
  publisher = {Springer},
  year      = {2022}
}