@misc{indiciaecc2afdb1c131,
  title = {Garbage collection can be made real-time and verifiable},
  author = {Hino, James H. and Ross, Charles L.},
  year = {1988},
  url = {https://ntrs.nasa.gov/citations/19890010469},
  note = {Source identifier: 19890010469}
}