Binary Counters Using Adiabatic Quantum-Flux-Parametron Logic | IEEE Journals & Magazine | IEEE Xplore