T. Toffoli, N. Kozievitch, M. Gonçalves, and R. Torres. "A formal approach for the specification of digital complex objects", in Anais do XIX Simpósio Brasileiro de Sistemas Multimídia e Web, Salvador, 2013, pp. 125-132.