Groote J.F. Focus points and convergent process operators / J.F.Groote,J.G.Springintveld, 1995. - 34 p. - Текст : непосредственный.
A two-level approach to automated conformance testing of VHDL designs / J.R.Moonen,J.M.T.Romijn,O.Sies и др., 1997. - 15 p. - Текст : непосредственный.
Groote J.F. Algebraic verification of a distributed summation algorithm / J.F.Groote,J.G.Springintveld, 1996. - 18 p. - Текст : непосредственный.
Romijn J.M.T. Exploiting symmetry in protocol testing / J.M.T.Romijn,J.G.Springintveld, 1999. - 83 p. - Текст : непосредственный.