@inproceedings{hills-chen-rosu-2008-rule,
  author    = {Mark Hills and Feng Chen and Grigore Ro\c{s}u},
  title     = "{A Rewriting Logic Approach to Static Checking of Units of Measurement in C}",
  booktitle = {Proceedings of the Ninth International Workshop on Rule-Based Programming (RULE 2008)},
  year      = {2012},
  series    = {ENTCS},
  volume    = {290},
  pages     = {51--67},
  publisher = {Elsevier},
  doi       = {10.1016/j.entcs.2012.11.011},
}