@inproceedings{Slind_Norrish_08,
    address          = {Montr\'eal, Canada},
    author           = {Slind, Konrad and Norrish, Michael},
    booktitle        = {International Conference on Theorem Proving in Higher Order Logics},
    editor           = {{Otmane Ait Mohamed, C\'esar Mu\~noz and Sofi\`ene Tahar}},
    month            = aug,
    pages            = {28--32},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1482.pdf},
    publisher        = {Springer},
    title            = {A Brief Overview of {HOL4}},
    year             = {2008}
  }