Many-valued logics and the logic of the C programming language - Nagy, Benedek (Array, 2005)
27th International Conference on Information Technology Interfaces, June 20-23, 2005, Cavtat, Croatia