@TechReport{perry+:ft-tal-tr,
  author = {Frances Perry and Lester Mackey and George Reis and Jay Ligatti and David August and David Walker},
  title = {Fault-tolerant Typed Assembly Language},
  institution = {Princeton University},
  year = {2007},
  number = {TR-776-07},
  month = apr,
  url = {http://www.cse.usf.edu/~ligatti/papers/TR-776-07.pdf}
}