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