ARAÚJO, Anderson de; 						FINGER, Marcelo.
 A formal system for quantum communication environments. <em>In</em>: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 8.	, 2011, Natal/RN.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2011
.
 p. 642-652. 
			ISSN 2763-9061.