Werner Kuich Cycle-Free N-Algebraic Systems. 5-12 1981 conf/tcs/1981 Theoretical Computer Science db/conf/tcs/tcs1981.html#Kuich81 http://dx.doi.org/10.1007/BFb0017290