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)

Testing for software reliability. - John R. Brown; Myron Lipow (Reliable Software, 1975)

Structured Programming: Agony and/or Ecstacy. - John R. Brown (Computer, 1975)

Quantitative Evaluation of Software Quality. - Barry W. Boehm; John R. Brown; Myron Lipow (ICSE, 1976)

ASSET: A Lifecycle Verification and Visibility System. - Leon J. Osterweil; John R. Brown; Leon G. Stucki (COMPSAC, 1978)

A Graph Theoretic Approach to the Verification of Program Structures. - John R. Brown; Kurt F. Fischer (ICSE, 1978)

ASSET: A life cycle verification and visibility system. - Leon J. Osterweil; John R. Brown; Leon G. Stucki (J. Syst. Softw., 1979)

Perspectives on software quality assurance (Panel). - Thomas L. Hannan; John R. Brown; Roger U. Fujii (ACM Annual Conference, 1985)