@article{McKeeverLuk2005:Towards,
  title = "Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques",
  author = "S. McKeever and W. Luk",
  year = "2006",
  journal = "Formal Aspects of Computing",
  number = "18",
  pages = "120-142",
}