Equivalence of the Arbiter, the Synchronizer, the Latch, and the Inertial Delay. - José C. Barros; Brian W. Johnson (IEEE Trans. Computers, 1983)