Aspectos formales de las tesis de maestría en computación. (el Instituto, 1990)