LENGÁL, Ondřej. Efektivní knihovna pro práci s konečnými stromovými automaty. Online, Diplomová práce, vedoucí Tomáš Vojnar. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů, 2010. Dostupné z: http://hdl.handle.net/11012/54375. [cit. 2025-04-29].