Michel Latteux Paavo Turakainen A New Normal Form for the Compositions of Morphisms and Inverse Morphisms. 261-271 1987 20 Math. Syst. Theory 4 db/journals/mst/mst20.html#LatteuxT87 https://doi.org/10.1007/BF01692069