process specification formalism based on static Cold / J.C.M.Baeten,J.A.Bergstra,S.Mauw,G.J.Veltink, 1989. - 48 p. - Текст : непосредственный.