On some closure properties of generable languages Ivan Mezník — 1973 Commentationes Mathematicae Universitatis Carolinae
K vytváření matematických předpokladů pro studium na vysokých školách technických Ivan Mezník — 1993 Učitel matematiky
On G -machines generating intersection and union of generable languages Ivan Mezník — 1975 Kybernetika