@article{yu04:cdsa-scp,
  author = "Dachuan Yu and Nadeem A. Hamid and Zhong Shao",
  title = "Building Certified Libraries for {PCC}: Dynamic Storage Allocation",
  journal = "Science of Computer Programming",
  year = "2004",
  volume = "50",
  number = "1-3",
  pages = "101-127"
}