The design for a Josephson micro-pipelined processor | IEEE Journals & Magazine | IEEE Xplore