@inproceedings{Hanna:2007:EVC,
  title = "Early Validation of Computer Microarchitecture with Algorithm Level Models",
  author = "Ziyad Hanna and Tom Melham",
  year = "2007",
  booktitle = "Proceedings of ASM'07: The 14th International Abstract State Machines Workshop",
  editor = "Andreas Prinz",
  isbn = "978-82-7117-627-3",
  note = "Published electronically",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Hanna-2007-EVC.pdf",
}