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