Vol. 34, E. 2013. Contracapa. Cadernos do IME - Série Informática. 34, (Dec. 2013), 76.