@InProceedings{SlindNorrish:TPHOLs08:HOL4-Overview,
  author =       {Konrad Slind and Michael Norrish},
  title =        {A Brief Overview of {HOL4}},
  booktitle = {Theorem Proving in Higher Order Logics, 21st International
                  Conference},
  pages =     {28--32},
  year =      2008,
  editor =    {Otmane Ait Mohamed and C\'esar Mu{\~n}oz and Sofi\`ene Tahar},
  volume =    5170,
  series =    {Lecture Notes in Computer Science},
  publisher = {Springer}
}