@article{DBLP:journals/tvlsi/SackerBRW04,
  author    = {Mathew A. Sacker and
               Andrew D. Brown and
               Andrew J. Rushton and
               Peter R. Wilson},
  title     = {A behavioral synthesis system for asynchronous circuits},
  journal   = {IEEE Trans. VLSI Syst.},
  volume    = {12},
  number    = {9},
  year      = {2004},
  pages     = {978-994},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/TVLSI.2004.832944},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}