Algoritmy pro výpočet syntaktických monoidů - Linkov, Václav, 1979- (2002)