Design of Semiconductor QCA Systems - Liu (IEEE, 2013)