@misc{indiciaed9f90c31ae12,
  title = {Automated Generation of Message-Passing Programs: An Evaluation Using CAPTools},
  author = {Hribar, Michelle R. and Jin, Haoqiang and Yan, Jerry C. and Saini, Subhash},
  year = {1998},
  url = {https://ntrs.nasa.gov/citations/20020057888},
  note = {Source identifier: 20020057888}
}