MATUŠOVÁ, L. Automatická konstrukce hlídacích obvodů založených na konečných automatech [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2014.
eVSKP id 79939