ADAM : Computer-aided synthesis of Near-Optimal, Hazard -Free pla-Based Asynchronous sequential Logic Circuits - MOHAMED Khalil (Washington State University, 1992)