VYVIAL, Pavel. Statická analýza Java programů. Online, Bakalářská práce, vedoucí Bohuslav Křena. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů. Dostupné z: http://hdl.handle.net/11012/55529. [cit. 2023-10-04].