Nový expertní systém : specifikace datových typů a algoritmů - Berka, Petr, 1959- (Technical reports, 1994)