Jiří Rybička: Úvod do teorie formálních jazyků, 1999, 40stran, A5
Petr Jirků, Jiřina Vejvarová: Formální logika, neformální výklad FL, 2005, VŠE, skripta
Katřina Trlifajová, Daniel Vašata: Matematická logika, 2013, skripta ČVUT/FIT
Eva Milková: Teorie grafů a grafové algoritmy, 2013, FIaM UHK, skripta
Jan Mareš: Jazyky, gramatiky a automaty, 2011, ČVUT/FJFI