@article{Susanto:2001:FAD,
  author = "Kong Woei Susanto and Tom Melham",
  doi = "10.1023/A:1011132326153",
  issn = "0920-8542",
  journal = "The Journal of Supercomputing",
  month = "May",
  number = "1",
  pages = "7--22",
  title = "Formally Analyzed Dynamic Synthesis of Hardware",
  url = "http://www.comlab.ox.ac.uk/tom.melham/pub/Susanto-2001-FAD.ps",
  volume = "19",
  year = "2001",
}