Normal form in DI-algebra with recursion | IEEE Conference Publication | IEEE Xplore