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