Ticiana O. Toffoli, Nádia P. Kozievitch, Marcos A. Gonçalves, and Ricardo da S. Torres. 2013.
A formal approach for the specification of digital complex objects. In <em>Anais do XIX Simpósio Brasileiro de Sistemas Multimídia e Web</em>, novembro 05, 2013, Salvador, Brasil. SBC, Porto Alegre, Brasil, 125-132.