Multiple-Valued Logic: An Introduction and Overview - Vranesic (IEEE transactions on computers, 1977)