Naidich D. On generic representation of implicit induction procedures / D. Naidich, 1996. - 31 p. - Текст : непосредственный.
Naidich D. Implicit induction techniques for the verification of Piм - a transformational toolkit for compilers / D.Naidich,T.B.Dinesh, 1996. - 34 p. - Текст : непосредственный.