@techreport{LentSwie92a,
  author      = {Lentfert, P. J. A. and S. D. Swierstra},
  title       = {Towards the Formal Design of Self-Stabilizing Distributed Algorithms},
  institution = {Utrecht University},
  year        = {1992},
  month       = {August},
  number      = {RUU-CS-92-25},
  note        = {Also in: J.L.G.\ Dietz (Ed). {\it Proceedings CSN92.} Utrecht, November 4--5, 1992.},
}