David A. Basin, Geoffrey M. Brown, Miriam Leeser. Formally verified synthesis of combinational CMOS circuits. Integration, 11(3):235-250, 1991. [doi]
@article{BasinBL91,
title = {Formally verified synthesis of combinational CMOS circuits},
author = {David A. Basin and Geoffrey M. Brown and Miriam Leeser},
year = {1991},
doi = {10.1016/0167-9260(91)90048-P},
url = {http://dx.doi.org/10.1016/0167-9260(91)90048-P},
researchr = {https://researchr.org/publication/BasinBL91},
cites = {0},
citedby = {0},
journal = {Integration},
volume = {11},
number = {3},
pages = {235-250},
}