@misc{indiciaee7ab018621bd,
  title = {Open architectures for formal reasoning and deductive technologies for software development},
  author = {Mccarthy, John and Manna, Zohar and Mason, Ian and Pnueli, Amir and Talcott, Carolyn and Waldinger, Richard},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/19950010171},
  note = {Source identifier: 19950010171}
}