@Inproceedings{EPTCS53.3,
  author    = {Feng, Yangyue  and Luo, Zhaohui},
  year      = {2011},
  title     = {Typed Operational Semantics for Dependent Record Types},
  editor    = {Hirschowitz, Tom},
  booktitle = {{\rm Proceedings}
               Types for Proofs and Programs, Revised Selected Papers,
               {\rm Aussois, France, 12-15th May 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {53},
  publisher = {Open Publishing Association},
  pages     = {30-46},
  doi       = {10.4204/EPTCS.53.3},
}