Many-valued logics and the logic of the C programming language - Nagy, Benedek (Array, 2005)