Computer Aided Fusion for Algebraic Program Derivation

Walter Dosch, Sönke Magnussen. Computer Aided Fusion for Algebraic Program Derivation. Nord. J. Comput., 8(3):279-297, 2001. [doi]

Abstract

Abstract is missing.