T. Toffoli, N. Kozievitch, M. Gonçalves, and R. Torres.
" A formal approach for the specification of digital complex objects", in <em>Proceedings of the 19th Brazilian Symposium on Multimedia and the Web</em>, Salvador, 2013, pp. 125-132.