Comments on "The Error Latency of a Fault in a Sequential Digital Circuit". - R. David; R. Tellez-Giron (IEEE Trans. Computers, 1979)

Some applications of Jensen's coding theorem. - R. David (Ann. Math. Log., 1982)

Some New Results on Operational Analysis. - Yves Dallery; R. David (Performance, 1984)

Some Results on Higher Suslin Trees. - R. David (J. Symb. Log., 1990)

Fault coverage of a long random test sequence estimated from a short simulation. - V. Prepin; R. David (VTS, 1997)