A method for determining the coefficients of a reversed power series. - David L. Hall; B. Craig Meyers (ACM Commun. Comput. Algebra, 1978)

Using formal methods for requirements specification of a proposed POSIX standard. - Neal R. Reizer; Gregory D. Abowd; B. Craig Meyers; Patrick R. H. Place (ICRE, 1994)

Assessing the Quality of Large, Software-Intensive Systems: A Case Study. - Alan W. Brown; David J. Carney; Paul C. Clements; B. Craig Meyers; Dennis B. Smith; Nelson H. Weiderman; William G. Wood (ESEC, 1995)