Automatic Synthesis of Composable Sequential Quantum Boolean Circuits. - Li-Kai Chang; Fu-Chiung Cheng (ICCD, 2005)