Greg Stitt, Frank Vahid. Binary synthesis. ACM Trans. Design Autom. Electr. Syst., 12(3), 2007. [doi]
@article{StittV07,
title = {Binary synthesis},
author = {Greg Stitt and Frank Vahid},
year = {2007},
doi = {10.1145/1255456.1255471},
url = {http://doi.acm.org/10.1145/1255456.1255471},
researchr = {https://researchr.org/publication/StittV07},
cites = {0},
citedby = {0},
journal = {ACM Trans. Design Autom. Electr. Syst.},
volume = {12},
number = {3},
}