@techreport{Pra00SelfStab,
  author      = {Prasetya, I.S.W.B. and Swierstra, S.D.},
  year        = 2000,
  title       = {Formal design of self-stabilizing programs: Theory and examples},
  number      = {UU-CS-2000-07},
  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-2000/2000-07.pdf}},
  pubcat      = {techreport},
}