Design of Reversible Synchronous Sequential Circuits Using Pseudo Reed-Muller Expressions | IEEE Journals & Magazine | IEEE Xplore