@misc{indiciae1894b80c95bc,
  title = {The PRIST-2 development environment: architecture and implementation.},
  author = {P Cristiani and G Costa and S Pazzi},
  doi = {10.1016/0020-7101(91)90030-i},
  url = {https://pubmed.ncbi.nlm.nih.gov/1889900/},
  note = {Source identifier: 1889900}
}