Janicki R. Specification and analysis of concurrent systems : The COSY approach / R.Janicki,P.E.Lauer, 1992. - 480 p. - Текст : непосредственный.