Title: Flexible transformation of abstract data specifications