Informační rešeršní systém Mikro CDS/ISIS : mini-micro CDS/ISIS. Verze 2.3 (DT ČSVTS, 1990)