process specification formalism based on static Cold / J.C.M.Baeten,J.A.Bergstra,S.Mauw,G.J.Veltink, 1989. - 48 p. - Текст : непосредственный.
Task allocation in a multi-server system / S.C.Borst,O.J.Boxma,J.F.Groote,S.Mauw, 2001. - 27 p. - Текст : непосредственный.