@InCollection{morisett+:gcpoly-hoots,
  author = 	 {Greg Morrisett and Robert Harper},
  title = 	 {Semantics of Memory Management for Polymorphic Languages},
  pages =        {175--226},
  crossref =     hoots-i
}

@Book{hoots-i,
  booktitle = 	 {Higher-Order Operational Techniques in Semantics},
  publisher =	 {Cambridge University Press},
  series =       {Publications of the Newton Institute},
  year =	 1998,
  editor =	 {Andrew D. Gordon and Andrew M. Pitts},
  title = 	 {Higher-Order Operational Techniques in Semantics}
}