@misc{indiciae3e651a620270,
  title = {Formal semantic specifications as implementation blueprints for real-time programming languages},
  author = {Feyock, S.},
  year = {1981},
  url = {https://ntrs.nasa.gov/citations/19820026575},
  note = {Source identifier: 19820026575}
}