Multiple-Valued Logic Design by George Epstein