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