Gerald Futschek Algebraic Properties of Loop Invariants. 57-66 1993 conf/ershov/1993 Formal Methods in Programming and Their Applications db/conf/ershov/ershov1993.html#Futschek93 http://dx.doi.org/10.1007/BFb0039700