Stein Krogdahl, Olav Lysne. Verifying a Distributed List System: A Case History. Formal Asp. Comput., 9(1):98-118, 1997.
@article{KrogdahlL97, title = {Verifying a Distributed List System: A Case History}, author = {Stein Krogdahl and Olav Lysne}, year = {1997}, tags = {history}, researchr = {https://researchr.org/publication/KrogdahlL97}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {9}, number = {1}, pages = {98-118}, }