Bergstra J.A. Branching time and orthogonal bisimulation equivalence / J.A.Bergstra,A.Ponse,M.B. van der Zwaag, 2000. - 38 p. - Текст : непосредственный.
Completeness of timed mCRL / J.F.Groote,M.A.Reniers,J.J. van Wamel,M.B. van der Zwaag, 2000. - 29 p. - Текст : непосредственный.