@article{crary+:mafcc,
  author    = {Karl Crary and Susmit Sarkar},
  title     = {Foundational certified code in the Twelf metalogical framework},
  journal   = {ACM Transactions on Computatational Logic},
  volume    = {9},
  number    = {3},
  year      = {2008},
  ee        = {http://doi.acm.org/10.1145/1352582.1352584},
}