A formal approach for the specification of digital complex objects. - Ticiana Oniki Toffoli; Nádia Puchalski Kozievitch; Marcos André Gonçalves; Ricardo da Silva Torres (WebMedia, 2013)