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>Anais do XIX Simpósio Brasileiro de Sistemas Multimídia e Web,
Salvador, 2013</em>. SBC, 2013,  
pp.125-132.