Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line. - Текст : электронный.
Computer science logic : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25-29, 2006: proceedings / ed. Z. Esik, 2006 r=on-line. - Текст : электронный.
Bloom S.L. Iteration theories : The equational logic of iterative processes / S.L.Bloom,Z.@wEsik, 1993. - XV,630 p. p. - Текст : непосредственный.