Theorem Proving by Covering Expressions. - Lawrence J. Henschen; W. M. Evangelist (IJCAI, 1977)

Software complexity metric sensitivity to program structuring rules. - W. M. Evangelist (J. Syst. Softw., 1983)

Relationships among computational, software, and intuitive complexity. - W. M. Evangelist (ACM SIGPLAN Notices, 1983)