Author: Symposium on the Theory and Applications of Multiple-Valued Logic Design Buffalo 1972