Deriving programs by combining and adapting refinement scripts | IEEE Conference Publication | IEEE Xplore