@TechReport{xi+:dtal-tr,
  author = 	 {Hongwei Xi and Robert Harper},
  title = 	 {A Dependently Typed Assembly Language},
  institution =  {Computer Science Department, Oregon Graduate Institute},
  year = 	 1999,
  number =	 {OGI-CSE-99-008},
  month =	 {July}
}