LAŠČÁK, Tomáš. Efektivní algoritmy pro práci s Büchiho automaty. Online, Bakalářská práce, vedoucí Ondřej Lengál. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů, 2014. Dostupné z: http://hdl.handle.net/11012/187489. [cit. 2025-04-12].