@Article{NorrishSlind2002,
  author =       {Michael Norrish and Konrad Slind},
  title =        {A thread of {HOL} development},
  journal =      {Computer Journal},
  year =         {2002},
  volume =       45,
  number =       1,
  pages =        {37--45},
}