Mini-micro CDC-ISIS, manuel de référence (version 2.3) — Unesco. Division du développement et de l'application des logiciels