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