On changes of input/output coding. II. Michal P. Chytil — 1974 Commentationes Mathematicae Universitatis Carolinae
On changes of input/output coding. I. Michal P. Chytil — 1973 Commentationes Mathematicae Universitatis Carolinae
Crossing-bounded computations and their relation to the LBA-problem Michal P. Chytil — 1976 Kybernetika