@misc{12999,
  author = {Stein Krogdahl and Olav Lysne},
  title = {Verifying a Distributed List System: a Case History},
  year = {1993},
  number = {182},
  publisher = {Department of Informatics, University of Oslo},
}