Madhav P. Desai, H. Narayanan, Sachin B. Patkar. The realization of finite state machines by decomposition and the principal lattice of partitions of a submodular function. Discrete Applied Mathematics, 131(2):299-310, 2003. [doi]
Abstract is missing.