Josephson 4-bit digital counter circuit made by Nb/Al-oxide/Nb junctions | IEEE Journals & Magazine | IEEE Xplore