TOFFOLI, Ticiana O.; 						KOZIEVITCH, Nádia P.; 						GONÇALVES, Marcos A.; 						TORRES, Ricardo da S..
A formal approach for the specification of digital complex objects. <em>In</em>: SIMPÓSIO BRASILEIRO DE SISTEMAS MULTIMÍDIA E WEB (WEBMEDIA), 19.	, 2013, Salvador.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2013
.
 p. 125-132.