Um simulador simbólico de circuitos quânticos. - BARBOSA, Alexandre de Andrade. (2007)