@Unpublished{petersen+:ordered,
  author = 	 {Leaf Petersen and Robert Harper and Karl Crary and Frank Pfenning},
  title = 	 {A Type Theory for Memory Allocation and Data Layout},
  note = 	 {(Submitted for publication.)},
  month =	 {July},
  year =	 2002
}

@InProceedings{petersen+:ordered-popl,
  author = 	 {Leaf Petersen and Robert Harper and Karl Crary and Frank Pfenning},
  title = 	 {A Type Theory for Memory Allocation and Data Layout},
  booktitle = 	 {{POPL 2003}: The 30th {ACM} {SIPLAN-SIGACT} Symposium on Principles of Programming Languages},
  pages =	 {172--184},
  year =	 2003,
  address =	 {New Orleans, LA},
  month =	 {January}
}

@TechReport{petersen+:ordered-tr,
  author = 	 {Leaf Petersen and Robert Harper and Karl Crary and Frank Pfenning},
  title = 	 {A Type Theory for Memory Allocation and Data Layout (Extended Version)},
  institution =  {Carnegie Mellon University School of Computer Science},
  year = 	 2002,
  number =	 {CMU--CS--02--171},
  address =	 {Pittsburgh, PA},
  month =	 {August}
}