@article{Pra97SSHierarchical,
  author    = {Prasetya, I.S.W.B.},
  editor    = {Brinksma, E.},
  year      = 1997,
  title     = {Mechanically Verified Self-Stabilizing Hierarchical Algorithms},
  journal   = {Lecture Notes in Computer Science},
  volume    = 1217,
  pages     = {399 - 415},
  publisher = {Springer-Verlag},
  pubcat    = {article},
}