B. Lin and S. Devadas,
"Synthesis of Hazard-Free Multilevel Logic
Under Multiple-Input Changes from Binary Decision Diagrams", IEEE
Transactions on Computer-Aided Design, pp. 974-985, August 1995.
K. Yun, B. Lin, D. Dill and S. Devadas,
"Performance-Driven Synthesis of
Asynchronous Controllers", Proceedings of the International
Conference on Computer-Aided Design, pp. 550-557, November 1994.