Funkcijska verifikacija elemenata programa digitalne mreže integriranih usluga : magistarski rad - Lučić, Dražen (Elektrotehnički fakultet, 1989)