@misc{W2106192381,
  author = {Tobias Nipkow and Markus Wenzel and Lawrence C. Paulson},
  title = {Isabelle/HOL: A Proof Assistant for Higher-Order Logic},
  year = {2002},
  doi = {https://doi.org/10.1007/3-540-45949-9}
}