Freitas, G. H. S.; Michels, F. S.; Passos, W. E. O FORMALISMO INTEGRAL PARA UM VOLUME DE CONTROLE. IC 2015.