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