Logic Synthesis for Genetic Diseases - Lin, Pey-Chang Kent; Lin; Khatri, Sunil P. (Springer New York, 2014)