Equivalence of the arbiter, the synchronizer, the latch, and the inertial delay (1983)

by J Barros, B Johnson
Venue:IEEE Transactions on Computers