Algoritamske metode sinteze i analize sustava automata za upravljanje željezničkim prometom : magistarski rad - Davidović, Milan; Tkalić, Mladen (Zagreb : Elektrotehnički fakultet, 1980)