Naoki Takeuchi, Yuki Yamanashi, Nobuyuki Yoshikawa: Reversible Computing Using Adiabatic Superconductor Logic. RC 2014: 15-25