Robert M. Fuhrer, Bill Lin, Steven M. Nowick. Algorithms for the optimal state assignment of asynchronous state machines. In 16th Conference on Advanced Research in VLSI (ARVLSI 95), March 27-29, 1995, Chapel Hill, North Carolina, USA. pages 59-75, IEEE Computer Society, 1995. [doi]