Edmund M. Clarke: Program invariants as fixedpoints. Computing 21(4): 273-294 (1979)