Toffoli, T., Kozievitch, N., Gonçalves, M., & Torres, R. (2013). A formal approach for the specification of digital complex objects. In Proceedings of the 19th Brazilian Symposium on Multimedia and the Web, (pp. 125-132). Porto Alegre: SBC.