Araújo, A., & 		Finger, M.
(2011).
 A formal system for quantum communication environments.
In <em>Anais do VIII Encontro Nacional de Inteligência Artificial</em>, (pp. 642-652). Porto Alegre: SBC.