@inproceedings{DBLP:conf/charme/McKeeverL01,
  title = "Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques",
  author = "Steve McKeever and Wayne Luk",
  year = "2001",
  crossref = "DBLP:conf/charme/2001",
  pages = "212-227",
  url = "http://link.springer.de/link/service/series/0558/bibs/2144/21440212.htm",
}