TY  - RPRT
TI  - Garbage collection can be made real-time and verifiable
AU  - Hino, James H.
AU  - Ross, Charles L.
PY  - 1988
UR  - https://ntrs.nasa.gov/citations/19890010469
ID  - 19890010469
ER  -