2015. O FORMALISMO INTEGRAL PARA UM VOLUME DE CONTROLE. ANAIS DO ENIC. 6 (fev. 2015).