Computer science and multiple-valued logic theory and applications - Rine, David C. (North-Holland, 1984)