Mini-micro CDS/ISIS : CDS/ISIS pascal. versión 2.3. (1989)