Informační rešeršní systém mikro CDS/ISIS (CDS/ISIS PASCAL) (Ústí nad Labem : Dům techniky Československé vědeckotechnické společnosti, 1990)