Multiple-Valued Logic by D. Michael Miller, Mitchell Thornton & Mitchell A. Thornton