@techreport{APEmbedSurvey02,
  author      = {Azurat, A. and Prasetya, I.S.W.B.},
  year        = 2002,
  title       = {A Survey on Embedding Programming Logics in a Theorem Prover},
  number      = {UU-CS-2002-007},
  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-2002/2002-007.pdf}},
  pubcat      = {techreport},
}