Araújo, A., & 		Finger, M.
(2011).
 A formal system for quantum communication environments.
In <em>Proceedings of the 8th National Meeting on Artificial Intelligence</em>, (pp. 642-652). Porto Alegre: SBC.