Normal Forms as the basis for specifying mappings