CADINF, E. 2013. Apresentação. Cadernos do IME - Série Informática. 25, (jun. 2013).