@inproceedings{fk:rule06,
  author	= "Florent Kirchner and Fran\c{c}ois-R\'egis Sinot",
  title		= "Rule-Based Operational Semantics for and Imperative Language.",
  booktitle	= "Proc. 7th Int. Workshop on Rule Based Programming",
  month		= "August",
  series	= "Electronic Notes in Theoretical Computer Science",
  publisher	= "Elsevier Science",
  volume	= "174",
  pages		= "35--47",
  month		= aug,
  year		= 2007
}