@inproceedings{fk:sbos05,
  author 	= "Florent Kirchner",
  title 	= "Store-based Operational Semantics",
  year 		= 2005,
  publisher 	= "{INRIA}",
  booktitle 	= "Seizi\`emes Journ\'ees Francophones des Langages Applicatifs"
}