MÜLLER, P. Automatizované metody hledání chyb v překladačích [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .
eVSKP id 25444