Evaluating the effectiveness of software verification: pratical experience with an automated tool. - John R. Brown; R. H. Hoffman (AFIPS Fall Joint Computing Conference (1), 1972)

Applied Techniques for Testing Distributed Data Processing Software. - R. H. Hoffman; R. W. Smith (RTSS, 1980)