Integrovaný systém pre informačné služby MIKRO CDS/ISIS Príručka používateľa (Slovenská technická knižnica, 1989)