The derivation of functional equivalents of imperative programs | IEEE Conference Publication | IEEE Xplore