Asynchronous Sequential Machine Design and Analysis by Richard Tinder