Informační rešeršní systém mikro CDS/ISIS : mini-micro CDS/ISIS - referenční manuál (verze 2.3) (Dům techniky, 1990)