Mini-micro CDS/ISIS : manual de referencia. -- (Unesco, División de Desarrollo de Software y Aplicaciones, Oficina de Servicios, 1990)