@misc{indiciae7f24ab6ded98,
  title = {Notes on a storage manager for the Clouds kernel},
  author = {Pitts, David V. and Spafford, Eugene H.},
  year = {1986},
  url = {https://ntrs.nasa.gov/citations/19870018893},
  note = {Source identifier: 19870018893}
}