Single-electron pass-transistor logic and its application to a binary adder | IEEE Conference Publication | IEEE Xplore