Groote J.F. Analysis of a distributed system for lifting trucks / J.F.Groote,J.Pang,A.G.Wouters, 2001. - 36 p. - Текст : непосредственный.
Wouters A.G. Manual for the uCRL tool set (version 2.8.) / A.G.Wouters, 2001. - 51 p. - Текст : непосредственный.