@inproceedings{hills-rosu-2007-fmoods,
  author    = {Mark Hills and Grigore Rosu},
  title     = "{On Formal Analysis of {OO} Languages Using Rewriting Logic: Designing for Performance}",
  booktitle = {Proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007)},
  pages     = {107--121},
  series    = {Lecture Notes in Computer Science},
  volume    = {4468},
  publisher = {Springer},
  year      = {2007},
  doi       = {10.1007/978-3-540-72952-5_7},
}