Pol J.C.van de prover for the uCRL toolset with applications / J.C.van de Pol, 2001. - 32 p. - Текст : непосредственный.
Groote J.F. Equational binary decision diagrams / J.F.Groote,J.C.van de Pol, 2000. - 20 p. - Текст : непосредственный.
Pol J.C.van de Binary decision diagrams by shared rewriting / J.C.van de Pol,H.Zantema, 2000. - 14 p. - Текст : непосредственный.