MetaWSL and meta-transformations in the FermaT transformation system | IEEE Conference Publication | IEEE Xplore