Lacerda, Wilian, & Antônio de Pádua Braga. " Synthesis of digital circuits with ability to generalize." INFOCOMP Journal of Computer Science [Online], 9.2 (2010): 92-97. Web. 13 Dec. 2019