Formalni opis koherencije u raspodijeljenim računalnim sustavima : magistarski rad - Grčanac, Tomislav (T. Grčanac, 1993)