@article{Basin91g, 
AUTHOR = "Basin, David and Geoffrey M. Brown and Miriam E. Leeser", 
TITLE  = "Formally verified synthesis of combinational {CMOS} circuits", 
JOURNAL = "Integration: The International Journal of VLSI Design", 
YEAR = 1991, 
VOLUME = 11, 
PAGES = "235--250" 
}