Primjena teorije komunicirajućih slijednih procesa u verifikaciji paralelnih i distribuiranih programskih sustava - Matić, Vjekoslav (Array, 1992)