Walter Dosch Sönke Magnussen The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. 85-108 2001 conf/wadt/2001 WADT http://link.springer.de/link/service/series/0558/bibs/2267/22670085.htm db/conf/wadt/wadt2001.html#DoschM01