Konečný automat a jeho použitie na opis správania sa synchrónneho sekvenčného obvodu - aplikácia pod OS Windows - Ďarmek, Vratislav, 1986- (STU v Bratislave FIIT, 2008)