@article{10969,
  author = {Stein Krogdahl and Olav Lysne},
  title = {Verifying a Distributed List System: a Case History},
  year = {1997},
  journal = {Formal Aspects of Computing},
  volume = {9},
  pages = {98-118,},
}