Yuki Watanabe Naofumi Homma Katsuhiko Degawa Takafumi Aoki Tatsuo Higuchi High-Level Design of Multiple-Valued Arithmetic Circuits Based on Arithmetic Description Language. 112-117 2008 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2008.39 conf/ismvl/2008 db/conf/ismvl/ismvl2008.html#WatanabeHDAH08