Araújo, A., & 		Finger, M.
2011 jul 19.  A formal system for quantum communication environments. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). [Online] :