@techreport{Pra96UnityHol,
  author      = {Prasetya, I.S.W.B.},
  year        = 1996,
  title       = {Formalizing {UNITY} with {HOL}},
  number      = {UU-CS-1996-01},
  note        = {Download: {\tt www.cs.uu.nl/staff/wishnu.html}},
  institution = {Inst. of Information and Comp. Science, Utrecht Univ.},
  url         = {{http://www.cs.uu.nl/research/techreps/aut/wishnu.html}},
  urlpdf      = {{http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-1995/1995-07.pdf}},
  pubcat      = {techreport},
}