A Redundancy Check for ALGOL Programs
CACM June, 1962
Thacher Jr., H. C.
