Dinamičke algebre i korektnost paralelnih programa : disertacija - Urbiha, Igor (I. Urbiha, 1998)