STATEMATE and cruise control: a case study

@inproceedings{Smith1988STATEMATEAC,
  title={STATEMATE and cruise control: a case study},
  author={Sharon L. Smith and Susan L. Gerhart},
  booktitle={COMPSAC},
  year={1988}
}