Ésik Zoltán; Gombás Éva; Iván Szabolcs: Automaták és formális nyelvek példatár : egyetemi tananyag. (2011) [Jegyzet, tankönyv]
Ésik Zoltán; Gombás Éva; Németh L. Zoltán: Hardver- és szoftverrendszerek verifikációja : egyetemi tananyag. (2011) [Jegyzet, tankönyv]