Asynchronous Sequential Machine Design And Analysis by Richard F. Tinder