Husberg N. High level distributed transition systems in categories : Diss. / N.Husberg, 1992. - 119 p. - Текст : непосредственный.