CDS/ISIS (mini micro, version 1.0) : guia de instalacion, guia introductoria (CNEA, 1988)