Sönke Magnussen

Walter Dosch and Sönke Magnussen. Computer Aided Fusion for Algebraic Program Derivation. Nordic Journal of Computing, 8(3):279-297, Fall 2001. Abstract, References, etc.