@misc{indiciae6321ffd6db74,
  title = {Formal system - Technical documentation},
  author = {Mesztenyi, C. K.},
  year = {1970},
  url = {https://ntrs.nasa.gov/citations/19710020633},
  note = {Source identifier: 19710020633}
}