Konečný automat a jeho použitie na opis správania sa synchrónneho sekvenčného obvodu - HTML aplikácia - Voroňák, Peter, 1986- (STU v Bratislave FIIT, 2008)