ŘÍHA, Jakub. Efektivní funkcionální knihovna pro konečné automaty. Online, Diplomová práce, vedoucí Ondřej Lengál. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů, 2017. Dostupné z: http://hdl.handle.net/11012/69573. [cit. 2025-05-01].