Lessons from Using Basic LOTOS

@inproceedings{Ardis:ICSE94,
  author    = {Mark A. Ardis},
  title     = {Lessons from Using Basic {LOTOS}},
  booktitle = {ICSE},
  pages     = {5--14},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1994},
}