Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) Katsumi Wasaki,Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part II,Formalized Mathematics,1426-2630,Walter de Gruyter GmbH,2008-01-01,16,,,https://cir.nii.ac.jp/crid/1872272492657569408,https://doi.org/10.2478/v10037-008-0011-5