"Synthesis of Multiple-Input Change Asynchronous Finite state Machines."

Maureen Ladd, William P. Birmingham (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics