Systematic Mistake Analysis of Digital Computer Programs
CACM February, 1963
Miller, J. C.
Maloney, C. J.
