A. Araújo and M. Finger.
" A formal system for quantum communication environments", in <em>Anais do VIII Encontro Nacional de Inteligência Artificial</em>, Natal/RN, 2011, pp. 642-652.