Generating Algorithms plus Loop Invariants by Formal Derivation | IEEE Conference Publication | IEEE Xplore