On Program Verification. - Sayward, Frederick G.; Ostrand, Thomas J.; Weyuker, Elaine J.; Polak, W.; Karp, R. A. (Communications of the ACM, 1979)