Postupci provjere ispravnosti specifikacije telekomunikacijskih procesa : doktorska disertacija - Mikuc, Miljenko (M. Mikuc, 1997)