Formal Derivation of Two Algorithms Involving Sequences | IEEE Conference Publication | IEEE Xplore