Metoda ispitivanja specifikacije telekomunikacijskih protokola : magistarski rad - Maloku, Naim (N. Maloku, 2000)
Na vrhu nasl. str.: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva