Prilog optimizaciji algoritamskih postupaka ispitivanja logičkih struktura digitalnih telekomunikacijskih sustava : doktorska disertacija - Golubić, Stjepan (Zagreb : Elektrotehnički fakultet - Zagreb, 1987)