The representation of morphological systems and meta-systems for automatic symbolic manipulations | IEEE Conference Publication | IEEE Xplore