Svojstva relacija specifikacijskog i programskih jezika u domeni komutacijskih funkcija : magistarski rad - Galović, Željko (Elektrotehnički fakultet - Zagreb, 1991)