Flexible transformation of abstract data specifications. - Frank Schramm (2001)