Araújo, Anderson, E 		Finger, Marcelo.
" A formal system for quantum communication environments" <em>Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)</em> [Online], (19 julho 2011)