Software Process Description Using LOTOS and Its Enaction

@inproceedings{Yasumoto-al:ICSE94,
  author    = {Keiichi Yasumoto and
               Teruo Higashino and
               Kenichi Taniguchi},
  title     = {Software Process Description Using {LOTOS} and Its Enaction},
  booktitle = {ICSE},
  pages     = {169--178},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1994},
}