Toffoli, Ticiana O., Nádia P. Kozievitch, Marcos A. Gonçalves, and Ricardo da S. Torres.
" A formal approach for the specification of digital complex objects." <em>Proceedings of the 19th Brazilian Symposium on Multimedia and the Web,
Salvador, 2013</em>. SBC, 2013,  
pp.125-132.