Rozlišující podmnožiny a automaty v univerzálních algebrách - Kopeček, Ivan, 1949- (1979)