@misc{W4250846042,
  title = {Isabelle/HOL},
  year = {2002},
  howpublished = {Lecture notes in computer science},
  doi = {https://doi.org/10.1007/3-540-45949-9}
}