Araújo, Anderson, and Marcelo Finger.
" A formal system for quantum communication environments." <em>Anais do VIII Encontro Nacional de Inteligência Artificial,
Natal/RN, 2011</em>. SBC, 2011,  
pp.642-652.