@misc{indiciae20e95c7ba247,
  title = {The scheme machine: A case study in progress in design derivation at system levels},
  author = {Johnson, Steven D.},
  year = {1995},
  url = {https://ntrs.nasa.gov/citations/19960000036},
  note = {Source identifier: 19960000036}
}