Lacerda, Wilian Soares, and Antônio de Pádua Braga. “Synthesis of Digital Circuits With Ability to Generalize”. INFOCOMP Journal of Computer Science, vol. 9, no. 2, June 2010, pp. 92-97, http://177.105.60.18/index.php/infocomp/article/view/306.