Asynchronous Sequential Machine Design and Analysis door Richard Tinder