Trnková V.
On minimal realizations of behavior maps in categorial automata theory
. 15:3 (1974), pp. 555 -- 566.
Trnková V.
Minimal realizations for finite sets in categorial automata theory
. 16:1 (1975), pp. 21 -- 35.