Título Año
A guided tour to the GNAT run-time Miranda, Javier Fecha de publicación: 2003 Localización: Ada User Journal[ISSN 1381-6551],v. 24, p. 55-59 Reseña
Towards certification of object-oriented code with the GNAT compiler Miranda, Javier Fecha de publicación: 2007 Localización: Ada User Journal [ISSN 1381-6551], v. 28 (3), p. 178-183, (Septiembre 2007) Actas de congresos